LEADER 01138nam--2200361---450- 001 990003229380203316 005 20091110091727.0 010 $a7204-2226-4 035 $a000322938 035 $aUSA01000322938 035 $a(ALEPH)000322938USA01 035 $a000322938 100 $a20090427d1971----km-y0itay50------ba 101 $aeng 102 $aNL 105 $a||||||||001yy 200 1 $aMathematical interpretation of formal systems$fTh. Skolem...[et al.] 210 $aAmsterdam$cNorth-Holland$d1971 215 $aVIII, 113 p.$cill.$d23 cm 225 2 $aStudies in logic and the foundations of mathematics$v40 410 1$1001000334586$12001$aStudies in logic and the foundations of mathematics$v40 606 0 $aLogica matematica 676 $a511.3 700 1$aSKOLEM,$bTh.$0439431 801 0$aIT$bsalbc$gISBD 912 $a990003229380203316 951 $a510 SL 40$b1158/CBS$c510$d00218697 959 $aBK 969 $aSCI 979 $aRSIAV7$b90$c20090427$lUSA01$h1449 979 $aRSIAV7$b90$c20091110$lUSA01$h0917 996 $aMathematical interpretation of formal systems$91013456 997 $aUNISA