Grundlagen der kombinatorischen Logik (1930)

by H B Curry
Venue:American Journal of Mathematics