29 found
Order:
Disambiguations:
Peter Andrews [20]Peter B. Andrews [11]
  1.  17
    Peter B. Andrews (1971). Resolution in Type Theory. Journal of Symbolic Logic 36 (3):414-432.
  2.  14
    Peter B. Andrews (1974). Provability in Elementary Type Theory. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (25-27):411-418.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  13
    Peter B. Andrews (1972). General Models, Descriptions, and Choice in Type Theory. Journal of Symbolic Logic 37 (2):385-394.
  4.  17
    Peter B. Andrews (1972). General Models and Extensionality. Journal of Symbolic Logic 37 (2):395-397.
  5.  12
    Peter Andrews (1968). On Simplifying the Matrix of a WFF. Journal of Symbolic Logic 33 (2):180-192.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  6.  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  
  7. Peter Andrews (1967). Review: Burton Dreben, John Denton, A Supplement to Herbrand. [REVIEW] Journal of Symbolic Logic 32 (4):521-522.
     
    Export citation  
     
    My bibliography  
  8. Peter Andrews (1966). Review: A. H. Lightstone, The Axiomatic Method. An Introduction to Mathematical Logic. [REVIEW] Journal of Symbolic Logic 31 (1):106-108.
     
    Export citation  
     
    My bibliography  
  9.  3
    Peter Andrews (1997). Quine WV. A Proof Procedure for Quantification Theory. Journal of Symbolic Logic 31 (4):657-657.
    Direct download  
     
    Export citation  
     
    My bibliography  
  10.  3
    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  
  11.  4
    Peter Andrews (2008). Church's Type Theory. Stanford Encyclopedia of Philosophy.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  12. Peter Andrews (1967). Review: Burton Dreben, Stal Aanderaa, Herbrand Analyzing Functions. [REVIEW] Journal of Symbolic Logic 32 (4):521-521.
     
    Export citation  
     
    My bibliography  
  13.  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  
  14. Peter Andrews & A. Grzegorczyk (1966). A Note on the Theory of Propositional Types. Journal of Symbolic Logic 31 (3):502.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15. Peter Andrews & W. V. Quine (1966). A Proof Procedure for Quantification Theory. Journal of Symbolic Logic 31 (4):657.
  16. Peter Andrews (1968). Dreben Burton and Denton John. A Supplement to Herbrand. Journal of Symbolic Logic 32 (4):521-522.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17. Peter Andrews (1968). Dreben Burton and Aanderaa Stål. Herbrand Analyzing Functions. Bulletin of the American Mathematical Society, Vol. 70 , Pp. 697–698. [REVIEW] Journal of Symbolic Logic 32 (4):521.
  18. 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  
  19. Peter Andrews (1965). Dreben Burton S.. Solvable Surányi Subclasses: An Introduction to the Herbrand Theory. Proceedings of a Harvard Symposium on Digital Computers and Their Applications, 3-6 April 1961, The Annals of the Computation Laboratory of Harvard University, Vol. 31, Harvard University Press, Cambridge, Mass., 1962, Pp. 32–47. [REVIEW] Journal of Symbolic Logic 30 (3):390-391.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20. Peter Andrews (1996). Grzegorczyk A.. A Note on the Theory of Prepositional Types. Fundamenta Mathematicae, Vol. 54 (1964), Pp. 27–29. Journal of Symbolic Logic 31 (3):502-503.
    Direct download  
     
    Export citation  
     
    My bibliography  
  21. Peter Andrews (1965). Goldberg Richard. On the Solvability of a Subclass of the Surányi Reduction Class. Journal of Symbolic Logic 30 (3):391.
  22. Peter Andrews (1996). Lightstone AH. The Axiomatic Method. An Introduction to Mathematical Logic. Prentice-Hall, Inc., Englewood Cliffs, NJ, 1964, X+ 246 Pp. [REVIEW] Journal of Symbolic Logic 31 (1):106-108.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  23. Peter Andrews (1966). Review: A. Grzegorczyk, A Note on the Theory of Propositional Types. [REVIEW] Journal of Symbolic Logic 31 (3):502-503.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24. Peter Andrews (1965). Review: Burton S. Dreben, Solvable Suranyi Subclasses: An Introduction to the Herbrand Theory. [REVIEW] Journal of Symbolic Logic 30 (3):390-391.
     
    Export citation  
     
    My bibliography  
  25. Peter Andrews (1965). Review: Richard Goldberg, On the Solvability of a Subclass of the Suranyi Reduction Class. [REVIEW] Journal of Symbolic Logic 30 (3):391-391.
     
    Export citation  
     
    My bibliography  
  26. Peter Andrews (1966). Review: W. V. Quine, A Proof Procedure for Quantification Theory. [REVIEW] Journal of Symbolic Logic 31 (4):657-657.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27. Peter B. Andrews & Chad E. Brown (2006). TPS: A Hybrid Automatic-Interactive System for Developing Proofs. Journal of Applied Logic 4 (4):367-395.
  28. Burton Dreben & Peter Andrews (1966). False Lemmas in Herbrand. Journal of Symbolic Logic 31 (4):657-659.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. 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.