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.

Libros antiguos y modernos

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

Habla con el librero

Formas de Pago

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