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 (1997) Canonical formulas for K4. part III: the finite model property. The journal of Symbolic Logic 62 (3), pp. 950-975. ISSN 0022-4812.