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