 | 1998 |
|---|
| 8 |       | Maurice Boffa:
More on an Undecidability Result of Bateman, Jockusch and Woods.
J. Symb. Log. 63(1): 50 (1998) |
| 1997 |
|---|
| 7 | | Maurice Boffa,
Annalisa Marcja,
Daniele Mundici:
Joint AILA-KGS Model Theory Meeting, Florence, Italy, 21-24 August 1995 - Preface.
Ann. Pure Appl. Logic 88(2-3): 93 (1997) |
| 1990 |
|---|
| 6 | | Maurice Boffa:
Une remarque sur les systèmes complets d'identités rationnelles.
ITA 24: 419-428 (1990) |
| 1985 |
|---|
| 5 | | Maurice Boffa,
Paolo Casalegno:
The Consistency of Some 4-Stratified Subsystem of NF Including NF3.
J. Symb. Log. 50(2): 407-411 (1985) |
| 1984 |
|---|
| 4 | | Maurice Boffa:
Arithmetic and the Theory of Types.
J. Symb. Log. 49(2): 621-624 (1984) |
| 1980 |
|---|
| 3 | | Maurice Boffa,
P. Henrard:
European Meeting of the Association for Symbolic Logic, Mons, Belgium, 1978.
J. Symb. Log. 45(2): 386-414 (1980) |
| 1977 |
|---|
| 2 | | Maurice Boffa:
The Consistency Problem for NF.
J. Symb. Log. 42(2): 215-220 (1977) |
| 1975 |
|---|
| 1 | | Maurice Boffa:
Sets Equipollent to their Power Set in NF.
J. Symb. Log. 40(2): 149-150 (1975) |
