000			00494nam a22001817a 4500
999			_c31898 _d31898
003			OSt
005			20250423105959.0
008			250423b ||||| |||| 00| 0 eng d
020			_a9780486683706 _cUSD 9.95
040			_cimukc
082			_a511.3 _bS6669
100			_95853 _aSmullyan, Raymond M.
245			_aFirst-order logic / _cRaymond M. Smullyan.
260			_aNew York : _bDover Publications, Inc, _c1995.
300			_axii, 158 p. ; _c22 cm
650		0	_95854 _aLogic
942			_2ddc _cBK