Grundlagen der Kombinatorischen Logik (1930)

by H B Curry
Venue:American Journal of Mathematics