A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology (1941)

by J C C McKinsey
Venue:J. Symbolic Logic