Educatt Universita Cattolica Libri
Libri editi da Educatt Universita Cattolica Logica matematica
LIBRO 9788893351041
Introduzione alla logica Giordani Alessandro - Educatt Università Cattolica, 2016
Introduzione alla logica - EDUCatt Università Cattolica
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