LEADER 01381nam0-2200409---450 001 990005603320203316 005 20220722100354.0 035 $a000560332 035 $aUSA01000560332 035 $a(ALEPH)000560332USA01 035 $a000560332 100 $a19981214d1978----|||y0itaa50------ba 101 $aita 102 $ait 105 $a0 00||| 200 1 $aLogica matematica e teorie formalizzate$eun quadro generale dei concetti e dei risultati fondamentali$fRobert Rogers$g[trad. di Daniela Silvestrini] 210 $aMilano$cFeltrinelli$d1978 215 $a216 p.$d21 cm 225 2 $aSC/10. Manuali$v2 300 $aTrad. di: Mathematical logic and formalized theories 410 0$12001$aSC/10. Manuali$v2 454 $1001SA0007009$12001$aMathematical logic and formalized theories$fRobert Rogers.$950403 606 $aLogica matematica$2F 620 $dMILANO 676 $a511.3 700 1$aROGERS,$bRobert$050231 702 1$aSILVESTRINI,$bDaniela 801 0$aIT$bSA$c20111219 912 $a990005603320203316 950 0$aDipar.to di Filosofia - Salerno$dDFF.V. ROG (557)$e1889 FIL 951 $aXV.17. 595 (F.V. ROG) (557)$b1889 FIL$cXV.17$d451219 959 $aBK 969 $aFVER 979 $c20121027$lUSA01$h1525 979 $c20121027$lUSA01$h1614 996 $aMathematical logic and formalized theories$950403 997 $aUNISA