A Theory of Propositional Types (1963)

by L Henkin
Venue:Fundamenta Mathematicae