Browse by Journal and Volume
Up a level |
Number of items: 1.
Chagrov, A.V. and Zakharyaschev, M. (1993) The undecidability of the disjunction property of propositional logics and other related problems. The journal of Symbolic Logic 58 (3), pp. 967-1002. ISSN 0022-4812.