1. Agazzi, Evandro. 1961. Introduzione ai problemi dell’assiomatica. Milano: Vita e Pensiero.
2. Agazzi, Evandro. 1964. La logica simbolica. 5th revised and enlarged edition 1990. Brescia: La Scuola.
3. Agazzi, Evandro. 1966. Riflessioni su alcuni nuovi orizzonti della logica matematica. Logica e analisi, special issue of Archivio di Filosofia 47-69.
4. Agazzi, Evandro. 1978. Non-contradiction et existence en mathématique. Logique et Analyse 21: 459-481.
5. Agazzi, Evandro. 1994. On Formalism. In Philosophical Problems Today, ed. G. Fløistad, 1: 75-173. Dordrecht-Boston-London: Kluwer.