A theory of propositional types (1963)

by Leon Henkin
Venue:Fundamenta Mathematicae