L'Hauptsatz di Gentzen
Libros antiguos y modernos
Sergio Galvan
EDUCatt Università Cattolica,
2015
L'Hauptsatz di Gentzen
Libros antiguos y modernos
Sergio Galvan
EDUCatt Università Cattolica,
2015
7,00 €
(Milano,
Italia)
Formas de Pago
- PayPal
- Tarjeta de crédito
- Transferencia Bancaria
- Pubblica amministrazione
- Carta del Docente
Detalles
- Año de publicación
- 2015
- ISBN
- 9788867808755
- Autor
- Sergio Galvan
- Páginas
- 124
- Editores
- EDUCatt Università Cattolica
- Materia
- Logica matematica, Logica matematica
- Conservación
- Nuevo
- Idiomas
- Italiano
- Encuadernación
- Tapa blanda
- Condiciones
- Nuevo
Descripción
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".
