000			00554pam a2200181a 44500
008			160408b1987 xxu||||| |||| 00| 0 eng d
082			_a511.3 _bM42
100			_aKueker, David W.
245	1		_aMATHEMATICAL LOGIC AND THEORETICAL COMPUTER SCIENCE
260			_aNew York _bMarcel Dekker _c1987
300			_axviii,383
440			_aLecture Notes In Pure And Applied Mathematics, V. 106 _v
650			_aLogic, Symbolic And Mathematical
650			_aElectronic Data Processing
700			_aSmith, Carl H.
964			_gCIRC
997			_aA95590 C
999			_c278247 _d278247