7 found
Sort by:
  1. Robert H. Cowen (1990). Two Hypergrαph Theorems Equivalent toBPI. Notre Dame Journal of Formal Logic 31 (2).
     
    My bibliography  
     
    Export citation  
  2. 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)  
     
    My bibliography  
     
    Export citation  
  3. Robert H. Cowen (1977). Binary Consistent Choice on Triples. Notre Dame Journal of Formal Logic 18 (2):310-312.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  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)  
     
    My bibliography  
     
    Export citation  
  5. 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)  
     
    My bibliography  
     
    Export citation  
  6. Robert H. Cowen (1971). Superinductive Classes in Class-Set Theory. Notre Dame Journal of Formal Logic 12 (1):62-68.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Robert H. Cowen (1970). A New Proof of the Compactness Theorem for Propositional Logic. Notre Dame Journal of Formal Logic 11 (1):79-80.