Kripke models for intuitionistic theories with decidable atomic formulas.
Publications de l'Institut Mathématique. Nouvelle Série (1984)
- Volume: 36(50), page 3-7
- ISSN: 0350-1302
Access Full Article
top
How to cite
topMarković, Zoran. "Kripke models for intuitionistic theories with decidable atomic formulas.." Publications de l'Institut Mathématique. Nouvelle Série 36(50) (1984): 3-7. <http://eudml.org/doc/257684>.
@article{Marković1984,
author = {Marković, Zoran},
journal = {Publications de l'Institut Mathématique. Nouvelle Série},
language = {eng},
pages = {3-7},
publisher = {Izdaje Matematički Institut SANU},
title = {Kripke models for intuitionistic theories with decidable atomic formulas.},
url = {http://eudml.org/doc/257684},
volume = {36(50)},
year = {1984},
}
TY - JOUR
AU - Marković, Zoran
TI - Kripke models for intuitionistic theories with decidable atomic formulas.
JO - Publications de l'Institut Mathématique. Nouvelle Série
PY - 1984
PB - Izdaje Matematički Institut SANU
VL - 36(50)
SP - 3
EP - 7
LA - eng
UR - http://eudml.org/doc/257684
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.