000 00329nam a2200145 a 4500
999 _c58442
_d58442
008 960221s1955 dcuabcdjdbkoqu001 0deng d
020 _a0486481506
041 _aEnglish
100 _aSmullyan, Raymond M
_eAu
245 _aFirst-Order Logic
250 _a1
260 _c1995
_a New York
_bDover
300 _a155
942 _cBK