Libri di Sergio Galvan
Bibliografia di Sergio Galvan: tutti i libri in vendita online con argomento Logica Matematica
LIBRO 9788867808755
L'Hauptsatz di Gentzen Galvan Sergio - Educatt Università Cattolica, 2015 -
Il volume di Sergio Galvan, docente di Logica e Ontologia analitica presso l'Università Cattolica del Sacro Cuore, espone la dimostrazione del teorema di eliminazione del Cut (Hauptsatz) dimostrato da Gerhard Gentzen nelle "Untersuchungen über das logische Schliessen".
disp. incerta
ACQUISTA