LEADER 00798nam0-22002891i-450-
001 990001062220403321
035   $a000106222
035   $aFED01000106222
035   $a(Aleph)000106222FED01
035   $a000106222
100   $a20000920d1955----km-y0itay50------ba
101 0 $aeng
200 1 $aMathematical Interpretation of Formal Systems$fTh. Skolem ... [et al.]
210   $aAmsterdam$cNorth-Holland$d1955
215   $aVIII, 113 p.$d22 cm
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aSkolem,$bThoralf A.$046731
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001062220403321
952   $a7-037$b3691$fFI1
959   $aFI1
996   $aMathematical Interpretation of Formal Systems$9340232
997   $aUNINA
DB    $aING01