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.

Livres anciens et modernes

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)

Demander plus d'informations

Mode de Paiement

Détails

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

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