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