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.

Rare and modern books

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, Italy)

Ask for more info

Payment methods

Details

Year of publication
2015
ISBN
9788867808755
Author
Sergio Galvan
Pages
124
Publishers
EDUCatt Università Cattolica
Keyword
Logica matematica, Logica matematica
State of preservation
New
Languages
Italian
Binding
Softcover
Condition
New

Description

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