I thoroughly enjoyed this story, and Wolfram's thorough detective work For those interested, Schönfinkels article (über die Bausteine der mathematischen Logik)

I thoroughly enjoyed this story, and Wolfram's thorough detective work For those interested, Schönfinkels article (über die Bausteine der mathematischen Logik) is available online [1]. A good writeup about its significance can be found in the Stanford Encyclopedia of Philosophy [2] [1] http://www.cip.ifi.lmu.de/~langeh/test/1924%20-%20Schoenfinkel%20-%20Ueber%20die%20Bausteine%20der%20mathematischen%20Logik.pdf http://www.cip.ifi.lmu.de/~langeh/test/1924%20-%20Schoenfink... [2]https://plato.stanford.edu/entries/logic-combinatory/#SchoElimBounVari https://plato.stanford.edu/entries/logic-combinatory/#SchoEl...