12 found
Order:
  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.  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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  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.
     
    Export citation  
     
    Bookmark  
  7.  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 (3 more)  
     
    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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  15
    Preface.Maurice Boffa, Annalisa Marcja & Daniele Mundici - 1997 - Annals of Pure and Applied Logic 88 (2-3):93.
  10.  9
    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  
  11.  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  
  12.  38
    Sets Equipollent to Their Power Set in NF.Maurice Boffa - 1975 - Journal of Symbolic Logic 40 (2):149-150.