Teoria della dimostrazione / [scritti di] G. Gentzen ... [et al.] ; a cura di Donatella Cagnoni ; [trad. di Angelo Odone]

Gentzen, Gerhard (Visualizza in formato Marc21)

Record Nr.: 130851 Pubblicazione: Milano : Feltrinelli, 1981 Descrizione fisica: 259 p. : ill. ; 21 cm. Titolo uniforme di collana: SC/10. Readings ; 22. Soggetto topico: Logica - Filosofia Logica matematica Livello bibliografico Monografia Formato: Materiale a stampa Lingua di pubblicazione: Italiano Altri autori: Odone, Angelo Cagnoni, Donatella