Browse by Person

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 Tue Nov 26 07:12:23 2024 GMT.