Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

Undecidability of first-order intuitionistic and modal logics with two variables

Kontchakov, R. and Kurucz, A. and Zakharyaschev, M. (2005) Undecidability of first-order intuitionistic and modal logics with two variables. Bulletin of Symbolic Logic, 11 (3). pp. 428-438.

Full text not available from this repository.


Item Type:Article
Subjects:UNSPECIFIED
ID Code:155
Deposited By:Dr Agi Kurucz
Deposited On:26 Oct 2007 14:12
Last Modified:01 Nov 2007 18:18

Repository Staff Only: item control page