Order:
Disambiguations
Maurice Boffa [13]M. Boffa [11]
  1.  37
    A Language and Axioms for Explicit Mathematics.Solomon Feferman, J. N. Crossley, Maurice Boffa, Dirk van Dalen & Kenneth Mcaloon - 1984 - Journal of Symbolic Logic 49 (1):308-311.
  2. On self-membered sets in Quine's set theory NF.Maurice Boffa & André Pétry - 1993 - Logique Et Analyse 141:142.
     
    Export citation  
     
    Bookmark   4 citations  
  3.  52
    The consistency problem for NF.M. Boffa - 1977 - Journal of Symbolic Logic 42 (2):215-220.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4. The Consistency of Some 4-Stratified Subsystem of NF Including NF 3.Maurice Boffa & Paolo Casalegno - 1985 - Journal of Symbolic Logic 50 (2):407-411.
  5.  32
    Arithmetic and the theory of types.M. Boffa - 1984 - Journal of Symbolic Logic 49 (2):621-624.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  65
    Sets equipollent to their power set in NF.Maurice Boffa - 1975 - Journal of Symbolic Logic 40 (2):149-150.
  7.  44
    European meeting of the association for symbolic logic, mons, belgium, 1978.M. Boffa & P. Henrard - 1980 - Journal of Symbolic Logic 45 (2):386-414.
  8.  31
    (1 other version)Formules Σ1 en Théorie des Ensembles Sans Axiome de Fondement.Maurice Boffa - 1972 - Mathematical Logic Quarterly 18 (4‐6):93-96.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  6
    Logic Colloquium '78: Proceedings of the Colloquium Held in Mons, August 1978.Maurice Boffa, D. van Dalen & Kenneth Mcaloon - 1979 - North-Holland Pub. Co. Elsevier North-Holland, Sole Distributors for the U.S.A. And Canada.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. Logique dans l'enseignement des mathématiques.Maurice Boffa & A. Pétry (eds.) - 1998 - Bruxelles: Belgian Mathematical Society.
  11.  82
    ModèLes de la théorie générale Des ensembLes, construits sur Les nombres‐ ε.Maurice Boffa & Pierre Ribeaufossé - 1969 - Mathematical Logic Quarterly 15 (13-15):239-240.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  14
    [Omnibus Review].M. Boffa - 1985 - Journal of Symbolic Logic 50 (4):1080-1081.
  13.  27
    Preface.Maurice Boffa, Annalisa Marcja & Daniele Mundici - 1997 - Annals of Pure and Applied Logic 88 (2-3):93.
  14. More on an Undecidability Result of Bateman, Jockusch and Woods.M. Boffa - 1998 - Journal of Symbolic Logic 63 (1):50-50.
  15.  64
    Barwise Jon and Moss Lawrence. Vicious circles. On the mathematics of non-wellfounded phenomena. CSLI lecture notes, no. 60. CSLI Publications, Stanford1996, also distributed by Cambridge University Press, New York, x + 390 pp. [REVIEW]M. Boffa - 1997 - Journal of Symbolic Logic 62 (3):1039-1040.
  16.  32
    C. Berline and G. Cherlin. QE rings in characteristic p. Logic year 1979–80, The University of Connecticut, USA, edited by M. Lerman, J. H. Schmerl, and R. I. Soare, Lecture notes in mathematics, vol. 859, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 16–31. - C. Berline and G. Cherlin. QE nilrings of prime characteristic. Bulletin de la Société Mathématique de Belgique, ser. B vol. 33 , pp. 3–17. - Chantal Berline and Gregory Cherlin. QE rings in characteristic pn. The journal of symbolic logic, vol. 48 , pp. 140–162. - D. Saracino and C. Wood. QE commutative nilrings. The journal of symbolic logic, vol. 49 , pp. 644–651. [REVIEW]M. Boffa - 1985 - Journal of Symbolic Logic 50 (4):1080-1081.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  34
    Jean-François Pabion. Logique mathématique. Collection méthodes. Hermann, Paris1976, xxxii + 263 pp. - Marcel Guillaume. Préface. Therein, pp. xiii–xxxii. [REVIEW]M. Boffa - 1979 - Journal of Symbolic Logic 44 (2):282-283.
  18.  36
    Příkrý K.. The consistency of the continuum hypothesis for the first measurable cardinal. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 , pp. 193–197. [REVIEW]M. Boffa - 1973 - Journal of Symbolic Logic 38 (4):652-652.
  19.  41
    Ronald Björn Jensen. Modelle der Mengenlehre. Lecture notes in mathematics, no. 37, Springer-Verlag, Berlin, Heidelberg, and New York, 1967, ix + 176 pp. [REVIEW]Maurice Boffa - 1975 - Journal of Symbolic Logic 40 (1):92.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  17
    Review: Peter Aczel, Jon Barwise, Non-Well-founded Sets. [REVIEW]M. Boffa - 1989 - Journal of Symbolic Logic 54 (3):1111-1112.