Grundlagen der kombinatorischen Logik (1930)

by H B Curry
Venue:Amer. J. of Math