Sets Equipollent to their Power Set in NF. - Maurice Boffa (J. Symb. Log., 1975)

The Consistency Problem for NF. - Maurice Boffa (J. Symb. Log., 1977)

European Meeting of the Association for Symbolic Logic, Mons, Belgium, 1978. - Maurice Boffa; P. Henrard (J. Symb. Log., 1980)

Arithmetic and the Theory of Types. - Maurice Boffa (J. Symb. Log., 1984)

The Consistency of Some 4-Stratified Subsystem of NF Including NF3. - Maurice Boffa; Paolo Casalegno (J. Symb. Log., 1985)

Une remarque sur les systèmes complets d'identités rationnelles. - Maurice Boffa (RAIRO Theor. Informatics Appl., 1990)

Joint AILA-KGS Model Theory Meeting, Florence, Italy, 21-24 August 1995 - Preface. - Maurice Boffa; Annalisa Marcja; Daniele Mundici (Ann. Pure Appl. Log., 1997)

More on an Undecidability Result of Bateman, Jockusch and Woods. - Maurice Boffa (J. Symb. Log., 1998)