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".
L'Hauptsatz di Gentzen
| Titolo | L'Hauptsatz di Gentzen |
| Autore | Sergio Galvan |
| Editore | EDUCatt Università Cattolica |
| Formato |
Libro: Libro in brossura |
| Pagine | 124 |
| Pubblicazione | 07/2015 |
| ISBN | 9788867808755 |
Libri dello stesso autore
Non contraddizione e terzo escluso. Le regole della negazione della logica classica intuizionistica e minimale
Sergio Galvan
Franco Angeli