A propositional calculus with a denumerable matrix (1959)

by M Dummett
Venue:Journal of Symbolic Logic