Maurice Boffa

According to our database, Maurice Boffa authored at least 8 papers between 1975 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1998

More on an Undecidability Result of Bateman, Jockusch and Woods.

Maurice Boffa

J. Symb. Log., 1998

1997

Joint AILA-KGS Model Theory Meeting, Florence, Italy, 21-24 August 1995 - Preface.

Maurice Boffa, Annalisa Marcja, Daniele Mundici

Ann. Pure Appl. Log., 1997

1990

Une remarque sur les systèmes complets d'identités rationnelles.

Maurice Boffa

RAIRO Theor. Informatics Appl., 1990

1985

The Consistency of Some 4-Stratified Subsystem of NF Including NF₃.

Maurice Boffa, Paolo Casalegno

J. Symb. Log., 1985

1984

Arithmetic and the Theory of Types.

Maurice Boffa

J. Symb. Log., 1984

1980

European Meeting of the Association for Symbolic Logic, Mons, Belgium, 1978.

Maurice Boffa, P. Henrard

J. Symb. Log., 1980

1977

The Consistency Problem for NF.

Maurice Boffa

J. Symb. Log., 1977

1975

Sets Equipollent to their Power Set in NF.

Maurice Boffa

J. Symb. Log., 1975