A propositional calculus with denumerable matrix (1959)

by M Dummett
Venue:Journal of Symbolic Logic