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

Parla con il Libraio

Metodi di Pagamento

Dettagli

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

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 es