Links

My affiliations

Associations

Events

Logic Seminar Verona
Autumn school “Proof and Computation”
Scuola Estiva di Logica

Miscellanea

John Templeton Foundation

A 3D model of a 3-atomic Boolean Algebra getting quotiented into a 2-atomic Boolean Algebra getting quotiented into a degenerate Boolean Algebra (0=1).