Order:
Disambiguations
M. Boffa [14]Maurice Boffa [14]
  1.  13
    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. 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.
  3. On Self-Membered Sets in Quine's Set Theory NF.Maurice Boffa & André Pétry - 1993 - Logique Et Analyse 141:142.
     
    Export citation  
     
    Bookmark   3 citations  
  4.  39
    The Consistency Problem for NF.M. Boffa - 1977 - Journal of Symbolic Logic 42 (2):215-220.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  14
    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.  19
    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  
  7. 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.
     
    Export citation  
     
    Bookmark  
  8.  28
    ModèLes de la Théorie Générale Des ensembLes, Construits Sur Les Nombres-Ɛ.Maurice Boffa & Pierre Ribeaufossé - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (13-15):239-240.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  26
    European Meeting of the Association for Symbolic Logic, Mons, Belgium, 1978.M. Boffa & P. Henrard - 1980 - Journal of Symbolic Logic 45 (2):386-414.
  10.  22
    Formules Σ1 En Théorie des Ensembles Sans Axiome de Fondement.Maurice Boffa - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):93-96.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  38
    Sets Equipollent to Their Power Set in NF.Maurice Boffa - 1975 - Journal of Symbolic Logic 40 (2):149-150.
  12.  10
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  31
    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.
  14.  19
    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  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  15
    Preface.Maurice Boffa, Annalisa Marcja & Daniele Mundici - 1997 - Annals of Pure and Applied Logic 88 (2-3):93.
  16.  12
    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  
     
    Export citation  
     
    Bookmark  
  17.  13
    Review: Ronald Bjorn Jensen, Modelle der Mengenlehre. [REVIEW]Maurice Boffa - 1975 - Journal of Symbolic Logic 40 (1):92-92.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  9
    [Omnibus Review].M. Boffa - 1985 - Journal of Symbolic Logic 50 (4):1080-1081.
  19.  8
    Review: Peter Aczel, Jon Barwise, Non-Well-Founded Sets. [REVIEW]M. Boffa - 1989 - Journal of Symbolic Logic 54 (3):1111-1112.
  20.  8
    Review: Jon Barwise, Lawrence Moss, Vicious Circles. On the Mathematics of Non-Wellfounded Phenomena. [REVIEW]M. Boffa - 1997 - Journal of Symbolic Logic 62 (3):1039-1040.
  21.  11
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  6
    Review: K. Prikry, The Consistency of the Continuum Hypothesis for the First Measurable Cardinal. [REVIEW]M. Boffa - 1973 - Journal of Symbolic Logic 38 (4):652-652.
  23.  4
    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.
  24.  2
    Review: Jean-Francois Pabion, Logique Mathematique. [REVIEW]M. Boffa - 1979 - Journal of Symbolic Logic 44 (2):282-283.