7 found
Order:
  1.  0
    Robert H. Cowen (1990). Two Hypergraph Theorems Equivalent to ${\Rm BPI}$. Notre Dame Journal of Formal Logic 31 (2):232-240.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  2.  4
    Robert H. Cowen (1977). Generalizing König's Infinity Lemma. Notre Dame Journal of Formal Logic 18 (2):243-247.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  3.  13
    Robert H. Cowen (1970). A New Proof of the Compactness Theorem for Propositional Logic. Notre Dame Journal of Formal Logic 11 (1):79-80.
  4.  3
    Robert H. Cowen (1971). Superinductive Classes in Class-Set Theory. Notre Dame Journal of Formal Logic 12 (1):62-68.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  0
    Robert H. Cowen (1990). Two Hypergrαph Theorems Equivalent toBPI. Notre Dame Journal of Formal Logic 31 (2):232-240.
    Direct download  
     
    Export citation  
     
    My bibliography  
  6.  0
    Robert H. Cowen (1975). A Characterization of Logical Consequence in Quantification Theory. Notre Dame Journal of Formal Logic 16 (3):375-377.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  7.  0
    Robert H. Cowen (1977). Binary Consistent Choice on Triples. Notre Dame Journal of Formal Logic 18 (2):310-312.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography