Kripke models for intuitionistic theories with decidable atomic formulas.
Marković, Zoran
Publications de l'Institut Mathématique. Nouvelle Série, Tome 36(50) (1984), p. 3-7 / Harvested from The Electronic Library of Mathematics
Full (PDF)
Publié le : 1984-01-01
MISANU-ID : j_publ_0001273
EUDML-ID : urn:eudml:doc:257684 
@article{03957081,
     title = {Kripke models for intuitionistic theories with decidable atomic formulas.},
     journal = {Publications de l'Institut Math\'ematique. Nouvelle S\'erie},
     volume = {36(50)},
     year = {1984},
     pages = {3-7},
     zbl = {0595.03037},
     language = {en},
     url = {http://dml.mathdoc.fr/item/03957081}
}

Marković, Zoran. Kripke models for intuitionistic theories with decidable atomic formulas.. Publications de l'Institut Mathématique. Nouvelle Série, Tome 36(50) (1984) pp. 3-7. http://gdmltest.u-ga.fr/item/03957081/