SCEAS

The SCEAS System

Title:
Author:

Maurice Boffa: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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

Search in 0.002secs, Finished in 0.002secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP