Herbert B. Enderton (enderton)
Mentionné.e sur les pages du portail suivantes
Stanford Encyclopedia of PhilosophyCité.e dans les articles suivants
Whittle vs. Cantor on the Size of Infinite Sets, In Defense of RelationsContributions à Philosophie.ch
No contributions yet
Bibliography
Enderton, Herbert B. 1972. A Mathematical Introduction to Logic. New York: Academic Press.
Enderton, Herbert B. 1977a. Elements of Set Theory. New York: Academic Press.
Enderton, Herbert B. 1977b. “Elements of Recursion Theory.” in Handbook of Mathematical Logic, edited by Jon K. Barwise, pp. 527–566. Studies in Logic and the Foundations of Mathematics n. 90. Amsterdam: North-Holland Publishing Co.
Enderton, Herbert B. 1995. “In Memorium, Alonzo Church, 1903–1995.” The Bulletin of Symbolic Logic 1(4): 486–488.
Enderton, Herbert B. 1998. “Alonzo Church and the Reviews.” The Bulletin of Symbolic Logic 4(2): 172–180.
Enderton, Herbert B. 2001. A Mathematical Introduction to Logic. 2nd ed. San Diego, California: Academic Press. First edition: Enderton (1972).
Enderton, Herbert B. 2007. “Second-Order and Higher-Order Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2007/entries/logic-higher-order/.
Enderton, Herbert B. 2009. “Second-Order and Higher-Order Logic.” 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/logic-higher-order/.