1. Leibniz, G.W.: Dissertatio de Arte Combinatoria. Leipzig (1966). Original version in Latin at Biblioteca Nazionale Centrale di Firenze. https://archive.org/details/ita-bnc-mag-00000844-001
2. Boole, G.: 1854–1992: Les lois de la pensée. Vrin, Paris (1992)
3. Fodor, J.: LOT 2: The Language of Thought Revisited. Oxford University Press, Oxford (2008)
4. Frege, G.: Begriffschrift. English translation in Jean Van Heijenoort (ed.): From Frege to Gödel, pp. 1–83. Cambridge: Harvard University Press (1967) (1879)
5. Turing, A.: On Computable Numbers, with an Application to the Entscheidungsproblem. Proc. Lond. Math. Soc. 42, 230–265 (1936)