Analitica

Strutture sull'argomentare

First Pisa. Colloquium in logic, language and epistemology

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

What is a model of axiomatic set theory?

Proof and truth. An anti-realist perspective

Essays in structural proof theory

L'immagine scientifica e l'immagine manifesta

Second Pisa colloquium in logic, language and epistemology

La passione della Clinica

La logica stoica

Da Pitagora a Turing. Elementi di filosofia della matematica

Logica modale e metafisica. Saggi aristotelici

Realismo e antirealismo scientifico. Un’introduzione

Le direzioni della ricerca logica in Italia. Vol. 2

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

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

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

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

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

Fifth Pisa colloquium in logic, language and epistemology

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