LEADER 01327nam0-22004211i-450- 001 990003986590403321 005 20090916110327.0 010 $a0-486-68370-2 035 $a000398659 035 $aFED01000398659 035 $a(Aleph)000398659FED01 035 $a000398659 100 $a20031212d1995----km-y0itay50------ba 101 0 $aeng 102 $aUS 105 $a----a---001yy 200 1 $aFirst-order logic$fRaymond M. Smullyan 210 $aNew York$cDover Publications$dc1995 215 $aXII, 158 p.$d22 cm 225 1 $aDover books on mathematics 300 $a"An unabridged, corrected republication of the work first published by Springer-erlag, New York, 1968 ('Band 43' of the series 'Ergebnisse der Matematik und ihrer Grenzgebiete) 610 0 $aLogica matematica 610 0 $aLogica simbolica 610 0 $aLogica di primo grado 676 $a511.3 700 1$aSmullyan,$bRaymond M.$050650 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990003986590403321 952 $a511.3-SMU-1$b3229$fSC1 952 $a511.3-SMU-1A$b3230$fSC1 952 $a511.3-SMU-1B$b3231$fSC1 952 $a511.3-SMU-1C$b5247$fSC1 952 $a511.3-SMU-1D$b5248$fSC1 952 $a511.3-SMU-1E$b5249$fSC1 959 $aSC1 996 $aFirst-Order Logic$9340270 997 $aUNINA