18 found
Sort by:
Disambiguations:
Peter Andrews [13]Peter B. Andrews [6]
  1. Peter Andrews, Church's Type Theory. Stanford Encyclopedia of Philosophy.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Peter Andrews (1997). Quine WV. A Proof Procedure for Quantification Theory. Journal of Symbolic Logic 31 (4):657-657.
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. 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  
     
    My bibliography  
     
    Export citation  
  4. 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  
     
    My bibliography  
     
    Export citation  
  5. 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)  
     
    My bibliography  
     
    Export citation  
  6. Peter B. Andrews (1974). Provability in Elementary Type Theory. Mathematical Logic Quarterly 20 (25‐27):411-418.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Peter B. Andrews (1974). Resolution and the Consistency of Analysis. Notre Dame Journal of Formal Logic 15 (1):73-84.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Peter B. Andrews (1972). General Models and Extensionality. Journal of Symbolic Logic 37 (2):395-397.
  9. Peter B. Andrews (1972). General Models, Descriptions, and Choice in Type Theory. Journal of Symbolic Logic 37 (2):385-394.
  10. Peter B. Andrews (1971). Resolution in Type Theory. Journal of Symbolic Logic 36 (3):414-432.
  11. Peter Andrews (1968). On Simplifying the Matrix of a WFF. Journal of Symbolic Logic 33 (2):180-192.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Peter Andrews (1967). Review: Burton Dreben, Stal Aanderaa, Herbrand Analyzing Functions. [REVIEW] Journal of Symbolic Logic 32 (4):521-521.
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Peter Andrews (1967). Review: Burton Dreben, John Denton, A Supplement to Herbrand. [REVIEW] Journal of Symbolic Logic 32 (4):521-522.
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. 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)  
     
    My bibliography  
     
    Export citation  
  15. Peter Andrews (1966). Review: A. H. Lightstone, The Axiomatic Method. An Introduction to Mathematical Logic. [REVIEW] Journal of Symbolic Logic 31 (1):106-108.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. 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)  
     
    My bibliography  
     
    Export citation  
  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.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  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.
    Direct download  
     
    My bibliography  
     
    Export citation