Peter B. Andrews (andrews-pb)
My contributions to Philosophie.ch
No contributions yet
Bibliography
Andrews, Peter B. 1963. “A Reduction of the Axioms for the Theory of Propositional
Types.” Fundamenta Mathematicae 52: 345–350.
Andrews, Peter B. 1965. A Transfinite Type Theory with Type
Variables. Studies in Logic and the
Foundations of Mathematics n. 37. Amsterdam: North-Holland
Publishing Co.
Andrews, Peter B. 1986. “Connections and Higher-Order Logic.” in
CADE-8.Proceedings of the 8th
International Conference on Automated Deduction, edited by
Jörg H. Siekmann, pp. 1–41. Lecture Notes in Computer Science n. 230. Berlin:
Springer.
Andrews, Peter B. 2002. An Introduction to Mathematical Logic and Type
Theory. 2nd ed. Dordrecht: Kluwer Academic Publishers.
Andrews, Peter B. 2006. “Church’s Type Theory.” in The Stanford Encyclopedia of Philosophy.
Stanford, California: The Metaphysics Research Lab, Center for the Study
of Language; Information, https://plato.stanford.edu/archives/fall2006/entries/type-theory-church/.
Andrews, Peter B. 2009. “Church’s Type Theory.” in The Stanford Encyclopedia of Philosophy.
Stanford, California: The Metaphysics Research Lab, Center for the Study
of Language; Information, https://plato.stanford.edu/archives/spr2009/entries/type-theory-church/.
Andrews, Peter B. 2014. “Church’s Type Theory.” in The Stanford Encyclopedia of Philosophy.
Stanford, California: The Metaphysics Research Lab, Center for the Study
of Language; Information, https://plato.stanford.edu/archives/spr2014/entries/type-theory-church/.
Benzmüller, Christoph and Andrews, Peter B. 2019. “Church’s Type Theory.” in The Stanford Encyclopedia of Philosophy.
Stanford, California: The Metaphysics Research Lab, Center for the Study
of Language; Information, https://plato.stanford.edu/archives/sum2019/entries/type-theory-church/.
Benzmüller, Christoph and Andrews, Peter B. 2024. “Church’s Type Theory.” in The Stanford Encyclopedia of Philosophy.
Stanford, California: The Metaphysics Research Lab, Center for the Study
of Language; Information, https://plato.stanford.edu/archives/spr2024/entries/type-theory-church/.