LEADER 00885nam0-22003251i-450- 001 990001063120403321 010 $a3-540-04099-4 035 $a000106312 035 $aFED01000106312 035 $a(Aleph)000106312FED01 035 $a000106312 100 $a20000920d1968----km-y0itay50------ba 101 0 $aeng 200 1 $aFirst-Order Logic$fRaymond M. Smullyan 210 $aBerlin [etc.]$cSpringer-Verlag$d1968 215 $aXII, 158 p.$d24 cm 225 1 $aErgebnisse der Mathematik und ihrer Grenzgebiete$vbd. 43 610 0 $aLogica 610 0 $aRicorsività 676 $a160 700 1$aSmullyan,$bRaymond M.$050650 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001063120403321 952 $a7-072$b6256$fFI1 952 $a7-072.001$b8816$fFI1 959 $aFI1 996 $aFirst-Order Logic$9340270 997 $aUNINA DB $aING01