Browse by Journal and Volume

Group by: Author(s) | Date | School | No Grouping

Jump to: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences

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.

This list was generated on Tue Jun 10 01:54:16 2025 BST.