Maurice Boffa

Publication Activity (10 Years)

Years Active: 1975-1998
Publications (10 Years): 0

Publications

Maurice Boffa
More on an Undecidability Result of Bateman, Jockusch and Woods. J. Symb. Log. 63 (1) (1998)
Maurice Boffa, Annalisa Marcja, Daniele Mundici
Joint AILA-KGS Model Theory Meeting, Florence, Italy, 21-24 August 1995 - Preface. Ann. Pure Appl. Log. 88 (2-3) (1997)
Maurice Boffa
Une remarque sur les systèmes complets d'identités rationnelles. RAIRO Theor. Informatics Appl. 24 (1990)
Maurice Boffa, Paolo Casalegno
. J. Symb. Log. 50 (2) (1985)
Maurice Boffa
Arithmetic and the Theory of Types. J. Symb. Log. 49 (2) (1984)
Maurice Boffa, P. Henrard
European Meeting of the Association for Symbolic Logic, Mons, Belgium, 1978. J. Symb. Log. 45 (2) (1980)
Maurice Boffa
The Consistency Problem for NF. J. Symb. Log. 42 (2) (1977)
Maurice Boffa
Sets Equipollent to their Power Set in NF. J. Symb. Log. 40 (2) (1975)