LEADER 00585nam0-22002291i-450-
001 990001305040403321
035   $a000130504
035   $aFED01000130504
035   $a(Aleph)000130504FED01
035   $a000130504
100   $a20000920d--------km-y0itay50------ba
101 1 $aeng
200 1 $aFirst-Order Logic$fby SMULLYAN R.M.
700  1$aSmullyan,$bRaymond M.$050650
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001305040403321
952   $a10-M-11$b16463$fMA1
959   $aMA1
996   $aFirst-Order Logic$9340270
997   $aUNINA
DB    $aING01