Herbert B. Enderton

Menzionato/a in queste pagine del portale

Stanford Encyclopedia of Philosophy

Citato nei seguenti articoli

Whittle vs. Cantor on the Size of Infinite Sets In Defense of Relations

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