L'Hauptsatz di Gentzen
L'Hauptsatz di Gentzen | Rare and modern books | Sergio Galvan
Rare and modern books
Sergio Galvan
EDUCatt Università Cattolica,
2015
L'Hauptsatz di Gentzen
L'Hauptsatz di Gentzen | Rare and modern books | Sergio Galvan
Rare and modern books
Sergio Galvan
EDUCatt Università Cattolica,
2015
7.00 €
Payment methods
- PayPal
- Credit card
- Bank transfer
- Pubblica amministrazione
- Carta del Docente
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".
