algebra Information Processing Language – first computational demonstration of theorems in PM Introduction to Mathematical Philosophy Footnotes References Stephen Kleene (1952). Introduction to Metamathematics, 6th Reprint, North-Holland Publishing Company, Amsterdam NY, . Ivor Grattan-Guinness (2000). The Search for Mathematical Roots 1870–1940, Princeton University Press, Princeton NJ, . Ludwig Wittgenstein (2009), Major Works: Selected Philosophical Writings, HarperrCollins, New York, . In particular: Tractatus Logico-Philosophicus (Vienna 1918), original publication in German). Jean van Heijenoort editor (1967). From Frege to Gödel: A Source book in Mathematical Logic, 1879–1931, 3rd printing, Harvard University Press, Cambridge MA, . Michel Weber and Will Desmond (eds.) (2008) Handbook of Whiteheadian Process Thought, Frankfurt / Lancaster, Ontos Verlag, Process Thought X1 & X2. External links Stanford Encyclopedia of Philosophy: Principia Mathematica'' – by A. D. Irvine The Notation in Principia Mathematica – by Bernard Linsky. Proposition ✸54.43 in a more modern notation (Metamath) Large-scale mathematical formalization projects 1910 non-fiction books 1912 non-fiction books 1913 non-fiction books 1910 in science 1912 in science 1913 in science Books by Bertrand Russell Works by Alfred North Whitehead Books about philosophy of mathematics