Browse by Journal and Volume
 | Up a level |
Number of items: 1.
Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Zakharyaschev, Michael (1992) Canonical formulas for K4, part 1: basic results. The journal of Symbolic Logic 57 (4), pp. 1377-1402. ISSN 0022-4812.