Works by Peter Andrews

Works by Peter Andrews ( view other items matching `Peter Andrews`, view all matches )
Disambiguations:

Peter B. Andrews [4] Peter Andrews [3]

6 found

Sort by:

Peter Andrews, Church's Type Theory. Stanford Encyclopedia of Philosophy.
No categories
Direct download

My bibliography

Export citation
Peter B. Andrews (1974). Resolution and the Consistency of Analysis. Notre Dame Journal of Formal Logic 15 (1):73-84.
Mathematical Logic in Formal Sciences
Direct download (2 more)

My bibliography

Export citation
Peter B. Andrews (1972). General Models and Extensionality. Journal of Symbolic Logic 37 (2):395-397.
Mathematical Logic in Formal Sciences
Model Theory in Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
Peter B. Andrews (1972). General Models, Descriptions, and Choice in Type Theory. Journal of Symbolic Logic 37 (2):385-394.
Mathematical Logic in Formal Sciences
Model Theory in Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
Peter B. Andrews (1971). Resolution in Type Theory. Journal of Symbolic Logic 36 (3):414-432.
Logics, Misc in Logic and Philosophy of Logic
Mathematical Logic in Formal Sciences
Direct download (3 more)

My bibliography

Export citation
Peter Andrews (1968). On Simplifying the Matrix of a WFF. Journal of Symbolic Logic 33 (2):180-192.
Mathematical Logic in Formal Sciences
Direct download (3 more)

My bibliography

Export citation

Off-campus access

Using PhilPapers from home?

Click here to configure this browser for off-campus access.

Monitor this page

Be alerted of all new items appearing on this page. Choose how you want to monitor it:

RSS feed

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...

Online research in philosophy