A Syntactical Characterization of S5by G
โ
Review by: J. C. C. McKinsey
๐
Article
๐
1950
๐
Association for Symbolic Logic
๐
English
โ 198 KB