Browse by Journal and Volume
Up a level |
Jump to: 1992
Number of items: 1.
1992
Zakharyaschev, Michael (1992) Canonical formulas for K4, part 1: basic results. The journal of Symbolic Logic 57 (4), pp. 1377-1402. ISSN 0022-4812.
Up a level |
Zakharyaschev, Michael (1992) Canonical formulas for K4, part 1: basic results. The journal of Symbolic Logic 57 (4), pp. 1377-1402. ISSN 0022-4812.