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