Order:
Disambiguations
Maurice Boffa [15]M. Boffa [14]
  1.  18
    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.  41
    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.  15
    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.  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.
  7.  21
    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  
  8.  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  
     
    Export citation  
     
    Bookmark  
  9. 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.  14
    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.  31
    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.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  9
    [Omnibus Review].M. Boffa - 1985 - Journal of Symbolic Logic 50 (4):1080-1081.
  14.  16
    Preface.Maurice Boffa, Annalisa Marcja & Daniele Mundici - 1997 - Annals of Pure and Applied Logic 88 (2-3):93.
  15.  44
    Sets equipollent to their power set in NF.Maurice Boffa - 1975 - Journal of Symbolic Logic 40 (2):149-150.
  16.  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.
  17.  21
    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  
  18.  13
    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  
  19.  7
    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.
  20.  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  
  21.  11
    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.
  22.  2
    Review: Jean-Francois Pabion, Logique Mathematique. [REVIEW]M. Boffa - 1979 - Journal of Symbolic Logic 44 (2):282-283.
  23.  7
    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.
  24.  9
    Review: Peter Aczel, Jon Barwise, Non-Well-founded Sets. [REVIEW]M. Boffa - 1989 - Journal of Symbolic Logic 54 (3):1111-1112.
  25.  15
    Review: Ronald Bjorn Jensen, Modelle der Mengenlehre. [REVIEW]Maurice Boffa - 1975 - Journal of Symbolic Logic 40 (1):92-92.
    Direct download  
     
    Export citation  
     
    Bookmark