01381nam0-2200409---450 99000560332020331620220722100354.0000560332USA01000560332(ALEPH)000560332USA0100056033219981214d1978----|||y0itaa50------baitait0 00|||Logica matematica e teorie formalizzateun quadro generale dei concetti e dei risultati fondamentaliRobert Rogers[trad. di Daniela Silvestrini]MilanoFeltrinelli1978216 p.21 cmSC/10. Manuali2Trad. di: Mathematical logic and formalized theories2001SC/10. Manuali2001SA00070092001Mathematical logic and formalized theoriesRobert Rogers.50403Logica matematicaFMILANO511.3ROGERS,Robert50231SILVESTRINI,DanielaITSA20111219990005603320203316Dipar.to di Filosofia - SalernoDFF.V. ROG (557)1889 FILXV.17. 595 (F.V. ROG) (557)1889 FILXV.17451219BKFVER20121027USA01152520121027USA011614Mathematical logic and formalized theories50403UNISA