13 found
Order:
  1.  31
    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. 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.
  4.  24
    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  
  5.  26
    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  
  6.  3
    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  
  7. Logique dans l'enseignement des mathématiques.Maurice Boffa & A. Pétry (eds.) - 1998 - Bruxelles: Belgian Mathematical Society.
  8.  18
    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  
  9.  38
    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  
  10.  18
    Preface.Maurice Boffa, Annalisa Marcja & Daniele Mundici - 1997 - Annals of Pure and Applied Logic 88 (2-3):93.
  11.  46
    Sets equipollent to their power set in NF.Maurice Boffa - 1975 - Journal of Symbolic Logic 40 (2):149-150.
  12.  14
    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.  18
    Review: Ronald Bjorn Jensen, Modelle der Mengenlehre. [REVIEW]Maurice Boffa - 1975 - Journal of Symbolic Logic 40 (1):92-92.
    Direct download  
     
    Export citation  
     
    Bookmark