![](/img/cover-not-exists.png)
Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
Kontchakov, Roman, Kurucz, Agi, Zakharyaschev, MichaelVolume:
11
Language:
english
Journal:
Bulletin of Symbolic Logic
DOI:
10.2178/bsl/1122038996
Date:
September, 2005
File:
PDF, 148 KB
english, 2005