Peter B. Andrews (andrews-pb)

Menzionato/a in queste pagine del portale

Contributi a 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/.