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

Parla con il Libraio

Metodi di Pagamento

Dettagli

Année
2015
ISBN
9788867808755
Auteur
Sergio Galvan
Pages
124
Éditeurs
EDUCatt Università Cattolica
Thème
Logica matematica, Logica matematica
Etat de conservation
Neuf
Langues
Italien
Reliure
Couverture souple
Condition
Neuf

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".
Logo Maremagnum fr