Tavole semantiche per sistemi astratti di logica estensionale Flavio Previale — 1975 Rendiconti del Seminario Matematico della Università di Padova
Rappresentabilità ed equipollenza di teorie assiomatiche (I) Flavio Previale — 1969 Annali della Scuola Normale Superiore di Pisa - Classe di Scienze
Rappresentabilità ed equipollenza di teorie assiomatiche (II). Un'applicazione alla geometria «senza punti» Flavio Previale — 1970 Annali della Scuola Normale Superiore di Pisa - Classe di Scienze