20 found
Order:
Disambiguations:
Peter Andrews [14]Peter B. Andrews [8]
  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.  15
    Peter B. Andrews (1971). Resolution in Type Theory. Journal of Symbolic Logic 36 (3):414-432.
  3.  15
    Peter B. Andrews (1972). General Models and Extensionality. Journal of Symbolic Logic 37 (2):395-397.
  4.  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  
  5.  12
    Peter Andrews (1968). On Simplifying the Matrix of a WFF. Journal of Symbolic Logic 33 (2):180-192.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  6.  11
    Peter B. Andrews (1972). General Models, Descriptions, and Choice in Type Theory. Journal of Symbolic Logic 37 (2):385-394.
  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.  2
    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). Resolution and the Consistency of Analysis. Notre Dame Journal of Formal Logic 15 (1):73-84.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  11.  3
    Peter Andrews, 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.  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  
  14. 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  
  15. 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  
     
    Export citation  
     
    My bibliography  
  16. 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  
  17. 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  
  18. 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  
  19. 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  
  20. Burton Dreben & Peter Andrews (1966). False Lemmas in Herbrand. Journal of Symbolic Logic 31 (4):657-659.
    Direct download  
     
    Export citation  
     
    My bibliography