L'Hauptsatz di Gentzen

Riferimento: 9788867808755

Editore:
Autore: Sergio Galvan
Pagine: 124 p., Libro in brossura
EAN: 9788867808755
7,00 €
Quantità
Non disponibile

Descrizione

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".