![]() | Up a level |
Number of items: 1.
Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Marx, M. and Mikulas, Szabolcs (1999) Decidability of cylindric set algebras of dimension two and first-order logic with two variables. The journal of Symbolic Logic 64 (4), pp. 1563-1572. ISSN 0022-4812.