A Theory of Formal Deducibility (1950)

by H B Curry
Venue:of Notre Dame Mathematical Lectures 6