Browse by Journal and Volume

Group by: Author(s) | Date | School | No Grouping

Number of items: 1.

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.

This list was generated on Wed Dec 4 05:23:28 2024 GMT.