000 00439nam a22001457a 4500
005 20250327070750.0
008 250327b |||||||| |||| 00| 0 eng d
041 _aeng
082 _a511.3
_bKUE/M
100 _aKueker, David W.
245 _aMathematical logic and theoretical computer science
_c/ by David W. Kueker; Edgar G. K. Lopez-Escobar; Carl H. Smith
260 _aNew york
_bMarcel Dekker
_c1987
300 _a383p.
942 _cBK
999 _c35134
_d35134