Browse by Journal and Volume

Group by: Author(s) | Date | School | 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 Sun Dec 22 04:33:03 2024 GMT.