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
Consulta il prodotto
sconto
5%
| Titolo | L'Hauptsatz di Gentzen |
| Autore | Sergio Galvan |
| Editore | EDUCatt Università Cattolica |
| Formato |
Libro: Libro in brossura |
| Pagine | 124 |
| Pubblicazione | 07/2015 |
| ISBN | 9788867808755 |
