Order:
  1.  16
    Untersuchungen über den Einstelligen Intuitionistischen Prädikatenkalkül der Ersten Stufe.Jekeri Okee - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (1-3):37-48.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  2.  8
    A Semantical Proof of the Undecidability of the Monadic Intuitionistic Predicate Calculus of the First Order.Jekeri Okee - 1975 - Notre Dame Journal of Formal Logic 16 (4):552-554.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  3.  2
    Completeness of the Algebra of Species.Jekeri Okee - 1976 - Notre Dame Journal of Formal Logic 17 (3):392-394.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  4.  1
    On the Independence of the Fundamental Operations of the Algebra of Species.Jekeri Okee - 1976 - Notre Dame Journal of Formal Logic 17 (4):526-530.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  5. A Species-Algebraic Interpretation of the Intuitionistic Propositional Calculus.Jekeri Okee - 1976 - Notre Dame Journal of Formal Logic 17 (2):222-232.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  6. Untersuchungen über den Einstelligen Intuitionistischen Prädikatenkalkül der Ersten Stufe.Jekeri Okee - 1972 - Mathematical Logic Quarterly 18 (1‐3):37-48.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    My bibliography   Delete*   Oldify*