10 found
Order:
  1.  4
    Peter B. Andrews (1974). Provability in Elementary Type Theory. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (25-27):411-418.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  16
    Peter B. Andrews (1971). Resolution in Type Theory. Journal of Symbolic Logic 36 (3):414-432.
  3.  16
    Peter B. Andrews (1972). General Models and Extensionality. Journal of Symbolic Logic 37 (2):395-397.
  4.  11
    Peter B. Andrews (1972). General Models, Descriptions, and Choice in Type Theory. Journal of Symbolic Logic 37 (2):385-394.
  5.  4
    Peter B. Andrews (1982). Review: Burton Dreben, Warren D. Goldfarb, The Decision Problem. Solvable Classes of Quantificational Formulas. [REVIEW] Journal of Symbolic Logic 47 (2):452-453.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  3
    Peter B. Andrews (1974). Resolution and the Consistency of Analysis. Notre Dame Journal of Formal Logic 15 (1):73-84.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  7.  1
    Peter B. Andrews (1974). Provability in Elementary Type Theory. Mathematical Logic Quarterly 20 (25‐27):411-418.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  8. Peter B. Andrews (1982). Dreben Burton and Goldfarb Warren D.. The Decision Problem. Solvable Classes of Quantificational Formulas. Advanced Book Program. Addison-Wesley Publishing Company, Reading, Mass., 1979, Xii + 271 Pp. [REVIEW] Journal of Symbolic Logic 47 (2):452-453.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. Peter B. Andrews & Chad E. Brown (2006). TPS: A Hybrid Automatic-Interactive System for Developing Proofs. Journal of Applied Logic 4 (4):367-395.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. M. Yasuhara & Peter B. Andrews (1988). An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Journal of Symbolic Logic 53 (1):312.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography