L'Hauptsatz di Gentzen
Libri antichi e moderni
Sergio Galvan
EDUCatt Università Cattolica,
2015
L'Hauptsatz di Gentzen
Libri antichi e moderni
Sergio Galvan
EDUCatt Università Cattolica,
2015
7,00 €
(Milano,
Italia)
Metodi di Pagamento
- PayPal
- Carta di Credito
- Bonifico Bancario
- Pubblica amministrazione
- Carta del Docente
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".
