Paul Cohn, Further Algebra and Applications, Springer Science & Business Media, (lire en ligne), p. 11 et suivante
Voir la proposition 1.3.1 du livre Paul Cohn, Further Algebra and Applications, Springer Science & Business Media, (lire en ligne), p. 11.
numdam.org
Heinrich Behmann, éditeur en 1924 de l'article de Moses Schönfinkel "Über die Bausteine der mathematischen Logik", a eu, la même année et indépendamment de Łukasiewicz, l'idée d'utiliser la notation préfixeé et d'éliminer des parenthèses dans les formules de logique. Voir 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 par Stefan Bauer-Mengelberg : "On the building blocks of mathematical logic" in Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879-1931. Harvard Univ. Press: 355-66. En fait, il extrapole une idée de Shönfinkel dans son séminaire de 1920, pour qui toutes les fonctions sont monadiques et les parenthèses peuvent-être éliminées dans de nombreux cas. Lire l'article logique combinatoire.
