Birkbeck, University of London logo
BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Item Type | Date | Journal or Publication Title | No Grouping
    Jump to: 1995
    Number of items: 1.

    1995

    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.

    This list was generated on Wed Apr 24 07:21:44 2024 BST.