Order:
  1.  21
    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  
     
    Bookmark  
  2.  14
    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.
  3.  8
    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.
  4.  6
    Completeness of the Algebra of Species.Jekeri Okee - 1976 - Notre Dame Journal of Formal Logic 17 (3):392-394.
  5.  2
    A Species-Algebraic Interpretation of the Intuitionistic Propositional Calculus.Jekeri Okee - 1976 - Notre Dame Journal of Formal Logic 17 (2):222-232.
  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  
     
    Bookmark