LEADER 00586nam0-22002291i-450- 001 990001305030403321 035 $a000130503 035 $aFED01000130503 035 $a(Aleph)000130503FED01 035 $a000130503 100 $a20000920d--------km-y0itay50------ba 101 1 $aeng 200 1 $aFirst-Order Logic$fby SMULLYAN R. 700 1$aSmullyan,$bRaymond M.$050650 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001305030403321 952 $aC-31-(2F-43$b8175$fMA1 959 $aMA1 996 $aFirst-Order Logic$9340270 997 $aUNINA DB $aING01