Libri di Sergio Galvan
Bibliografia di Sergio Galvan: tutti i libri in vendita online Matematica
Sistemi dell'aritmetica da Q a PA Galvan Sergio - Educatt Università Cattolica, 2007
Sistemi dell'aritmetica da Q a PA - EDUCatt Università Cattolica
Introduzione ai sistemi dell'aritmetica. Da Q a PA Galvan Sergio - Educatt Università Cattolica, 2021
«L'aritmetica è il cuore della matematica. Essa è la disciplina che studia la struttura dei numeri naturali. L'aritmetica non è tuttavia costituita da una unica teoria. Le leggi dei numeri naturali si possono inquadrare in una gerarchia di teorie che partendo dal sistema elementare Q arrivano fino ai sistemi molto potenti dell'aritmetica degli ordini superiori.» (dalla Prefazione)
L'Hauptsatz di Gentzen Galvan Sergio - Educatt Università Cattolica, 2015 -
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".