L'Hauptsatz di Gentzen

Riferimento: 9788867808755

Editore: EDUCatt Università Cattolica
Autore: Sergio Galvan
In commercio dal: 08 Luglio 2015
Pagine: 124 p., Libro in brossura
EAN: 9788867808755
7,00 €
IVA inclusa
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.