Analitica

Avventure fondazionali. Lezioni su alcuni aspetti storici dei fondamenti della matematica

Nella mente della natura. La scienza della luce e la dottrina delle ombre

Realismo e antirealismo scientifico. Un’introduzione

Fifth Pisa colloquium in logic, language and epistemology

Third Pisa colloquium in logic, language and epistemology. Essays in honour of Mauro Mariani and Carlo Marletti

Il fascino discreto della matematica. Calvino, l'Oulipo e Bourbaki

Paradosso di Russell e programmi astrazionisti. Spiegazioni e soluzioni a confronto

Third Pisa colloquium in logic, language and epistemology. Essays in honour of Mauro Mariani and Carlo Marletti

Le direzioni della ricerca logica in Italia. Vol. 2

Logica modale e metafisica. Saggi aristotelici

Da Pitagora a Turing. Elementi di filosofia della matematica

La logica stoica

La passione della Clinica

Second Pisa colloquium in logic, language and epistemology

L'immagine scientifica e l'immagine manifesta

Proof and truth. An anti-realist perspective

Essays in structural proof theory

What is a model of axiomatic set theory?

La guerra dei trent'anni (1900-1930). Da Hilbert a Gödel

First Pisa. Colloquium in logic, language and epistemology

Strutture sull'argomentare