000 00305nam a2200133Ia 4500
020 _a978-0387976877
082 _a005.131
100 _aDexter C Kozen
_940
245 4 _aThe Design and Analysis Of Algorithms
250 _a1
260 _bSpringer,New York
_c1992
650 _aCOMPUTER
_931
942 _cBK
999 _c22113
_d22113