L'Hauptsatz di Gentzen
Livres anciens et modernes
Sergio Galvan
EDUCatt Università Cattolica,
2015
L'Hauptsatz di Gentzen
Livres anciens et modernes
Sergio Galvan
EDUCatt Università Cattolica,
2015
7,00 €
(Milano,
Italie)
Mode de Paiement
- PayPal
- Carte bancaire
- Virement bancaire
- Pubblica amministrazione
- Carta del Docente
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".
