Grundlagen der kombinatorischen logik (1930)

by H B Curry
Venue:Amer. J. Math