Browse by Journal and Volume
 | Up a level |
Number of items: 1.
Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Kontchakov, Roman and Kurucz, A. and Zakharyaschev, M. (2005) Undecidability of first-order intuitionistic and modal logics with two variables. The Bulletin of Symbolic Logic 11 (5), p. 428. ISSN 1079-8986.