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 uber das logische Schliessen".
Prezzo: € 7,00
Prodotto al momento non disponibile.
Titolo: L'Hauptsatz di Gentzen
Autore:
Sergio Galvan
Editore: EDUCatt Università Cattolica
Data di Pubblicazione: 2015
Pagine: 124
Formato: Brossura
ISBN: 9788867808755