Some theorems about the sentential calculi of Lewis and (1948)

by J C C McKinsey, A Tarski
Venue:Heyting, J. Symbolic Logic