H. B. Curry, « Grundlagen der Kombinatorischen Logik », American Journal of Mathematics, vol. 52, no 3, , p. 509–536 (DOI10.2307/2370619, lire en ligne, consulté le )
egloos.com
pds14.egloos.com
J. Roger Hindley et Jonathan P. Seldin, Lambda-Calculu and Combinators an Introduction, Cambrdige University Press, (lire en ligne) Section 2C p. 26.
jstor.org
H. B. Curry, « Grundlagen der Kombinatorischen Logik », American Journal of Mathematics, vol. 52, no 3, , p. 509–536 (DOI10.2307/2370619, lire en ligne, consulté le )
numdam.org
Moses Schönfinkel "Über die Bausteine der mathematischen Logik", Mathematische Annalen92, p. 305-316. Traduit en français par Geneviève Vandevelde : Moses Schönfinkel, « Sur les éléments de construction de la logique mathématique », Mathématiques et sciences humaines, vol. 112, , p. 5-26 (lire en ligne)
et traduit en anglais dans Moses Schönfinkel (trad. Stefan Bauer-Mengelberg), « On the building blocks of mathematical logic », dans Jean van Heijenoort, A Source Book in Mathematical Logic, 1879-1931, Harvard Univ. Press, (lire en ligne), p. 355-66.
stanford.edu
plato.stanford.edu
Katalin Bimbó, The Stanford Encyclopedia of Philosophy, Metaphysics Research Lab, Stanford University, (lire en ligne)
wesleyan.edu
sshieh.web.wesleyan.edu
Moses Schönfinkel "Über die Bausteine der mathematischen Logik", Mathematische Annalen92, p. 305-316. Traduit en français par Geneviève Vandevelde : Moses Schönfinkel, « Sur les éléments de construction de la logique mathématique », Mathématiques et sciences humaines, vol. 112, , p. 5-26 (lire en ligne)
et traduit en anglais dans Moses Schönfinkel (trad. Stefan Bauer-Mengelberg), « On the building blocks of mathematical logic », dans Jean van Heijenoort, A Source Book in Mathematical Logic, 1879-1931, Harvard Univ. Press, (lire en ligne), p. 355-66.
