Schönfinkel, Moses "Über die Bausteine der mathematischen Logik," Mathematische Annalen 92,1924 pp305-316
(1924)
Languages mentioned
Schoenfinkel
{1924} Schoenfinkel's combinatory algebra