Every work cited on this site. Titles link to the work online (free copies where they exist); each entry lists the pages that cite it.
Abelson, Harold, Gerald Jay Sussman, and Julie Sussman. 1996. Structure and Interpretation of Computer Programs. 2nd ed. Cambridge, MA: MIT Press.
Aristotle. 350 BCE. Prior Analytics.
Blackwell, Alan F. 2006. “Metaphors We Program By: Space, Action and Society in Java.” In Proceedings of the 18th Annual Workshop of the Psychology of Programming Interest Group (PPIG), 7–21. Brighton, UK.
Borenstein, Nathaniel S. 1991. Programming as If People Mattered.
Church, Alonzo. 1936. “An Unsolvable Problem of Elementary Number Theory.” American Journal of Mathematics 58 (2): 345–63.
Dijkstra, Edsger W. 2002. “EWD1300.”
Gardner, Martin. 1958. Logic Machines and Diagrams.
Heidegger, Martin. 1927. Being and Time.
Hilbert, David. 1902. “Mathematical Problems.” Translated by Mary Winston Newson. Bulletin of the American Mathematical Society 8 (10): 437–79.
Iriki, Atsushi, Michio Tanaka, and Yoshiaki Iwamura. 1996. “Coding of Modified Body Schema during Tool Use by Macaque Postcentral Neurones.” NeuroReport 7 (14): 2325–30.
Krug, Steve. 2013. Don’t Make Me Think, Revisited: A Common Sense Approach to Web Usability. 3rd ed. Berkeley, CA: New Riders.
Leibniz, Gottfried Wilhelm. 1666. Dissertatio de Arte Combinatoria.
Leibniz, Gottfried Wilhelm. 1981. New Essays on Human Understanding.
Llull, Raymond. 1501. Ars Magna.
Locke, John. 1689. An Essay Concerning Human Understanding.
O’Neil, Cathy. 2016. Weapons of Math Destruction: How Big Data Increases Inequality and Threatens Democracy. New York: Crown.
Peirce, Charles Sanders. 1931. Collected Papers of Charles Sanders Peirce. Edited by Charles Hartshorne and Paul Weiss. Vol. 1–6. Cambridge, MA: Harvard University Press.
Rotman, Brian. 2000. Mathematics as Sign: Writing, Imagining, Counting. Stanford, CA: Stanford University Press.
Russell, Bertrand. 1900. A Critical Exposition of the Philosophy of Leibniz. Cambridge: Cambridge University Press.
Saussure, Ferdinand de. 1983. Course in General Linguistics. Translated by Roy Harris. London: Duckworth.
Shannon, Claude E. 1948. “A Mathematical Theory of Communication.” Bell System Technical Journal 27 (3): 379–423.
Simondon, Gilbert. 2017. On the Mode of Existence of Technical Objects. University of Minnesota Press.
Smullyan, Raymond M. 1992. Gödel’s Incompleteness Theorems. Oxford Logic Guides 19. New York: Oxford University Press.
Spolsky, Joel. 2002. “The Law of Leaky Abstractions.” Joel on Software (blog).
Tanaka-Ishii, Kumiko. 2010. Semiotics of Programming. Cambridge, UK: Cambridge University Press.
Turing, Alan M. 1936. “On Computable Numbers, with an Application to the Entscheidungsproblem.” Proceedings of the London Mathematical Society s2-42 (1): 230–65.
Umiltà, M. A., L. Escola, I. Intskirveli, F. Grammont, M. Rochat, F. Caruana, A. Jezzini, V. Gallese, and G. Rizzolatti. 2008. “When Pliers Become Fingers in the Monkey Motor System.” Proceedings of the National Academy of Sciences 105 (6): 2209–13.
Whitehead, Alfred North. 1911. An Introduction to Mathematics. London: Williams and Norgate.
Whitehead, Alfred North, and Bertrand Russell. 1927. Principia Mathematica.
Winograd, Terry, and Fernando Flores. 1987. Understanding Computers and Cognition: A New Foundation for Design. Reading, MA: Addison-Wesley.