Über die bausteine der mathematischen logik. Mathematische Annalen 92 (1936)

by M Schönfinkel