Atti Del Congresso Temi E Prospettive Della Logica E Della Filosofia Della Scienza Contemporanee
The Making of Mathematics
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
The Theory of Gödel
A Philosophy for the Future
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
On the Role of Reducibility Principles
Skolem's Paradox and Platonism
Logica - II edizione
Proprietà di coerenza e completezza in L
Filosofia e matematica
Il paradiso di cantor
Logica
Perché ancora la filosofia
A Philosophy for the Future
Categorie ricorsive
Concezioni di insiemi
Operazioni di Brouwer e realizzabilità formalizzata
Le ragioni della logica