Questo sito usa cookie di analytics per raccogliere dati in forma aggregata e cookie di terze parti per migliorare l'esperienza utente.
Leggi l'Informativa Cookie Policy completa.

Libri antichi e moderni

Sergio Galvan

L'Hauptsatz di Gentzen

EDUCatt Università Cattolica, 2015

7,00 €

EDUCatt - Ente per il diritto allo studio dell'Università Cattolica del Sacro Cuore

(Milano, Italia)

Parla con il Libraio

Metodi di Pagamento

Dettagli

Anno di pubblicazione
2015
ISBN
9788867808755
Autore
Sergio Galvan
Pagine
124
Editori
EDUCatt Università Cattolica
Soggetto
Logica matematica, Logica matematica
Stato di conservazione
Nuovo
Lingue
Italiano
Legatura
Brossura
Condizioni
Nuovo

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