Browse by Person
Up a level |
Jump to: Mathematical Logic Quarterly
Number of items: 1.
Mathematical Logic Quarterly
Zakharyaschev, Michael and Alekseev, A. (1995) All finitely axiomatizable normal extensions of K4.3 are decidable. Mathematical Logic Quarterly 41 (1), pp. 15-23. ISSN 0942-5616.