Gabriele Lolli

Il riso di Talete. Matematica e umorismo

Le multiformi funzioni della dimostrazione

Capire la matematica

Dagli insiemi ai numeri

Incompletezza. Saggio su Kurt Godel

Cos'è la logica matematica. Filosofia della logica

Introduzione alla logica formale

Capire una dimostrazione. Il ruolo della logica nella matematica

La macchina e le dimostrazioni: matematica, logica e informatica

Le ragioni fisiche e le dimostrazioni matematiche

Lezioni di logica matematica

Categorie, universi e principi di riflessione

Teoria assiomatica degli insiemi