An Intuitionistic Ommiting Types Theorem
Publications de l'Institut Mathématique (1979)
- Volume: 26(40), Issue: 46, page 167-169
- ISSN: 0350-1302
Access Full Article
top
How to cite
topZoran Marković. "An Intuitionistic Ommiting Types Theorem." Publications de l'Institut Mathématique 26(40).46 (1979): 167-169. <http://eudml.org/doc/254774>.
@article{ZoranMarković1979,
author = {Zoran Marković},
journal = {Publications de l'Institut Mathématique},
keywords = {intuitionistic omitting types theorem; Heyting's predicate calculus; Kripke models},
language = {eng},
number = {46},
pages = {167-169},
publisher = {Matematički institut SANU},
title = {An Intuitionistic Ommiting Types Theorem},
url = {http://eudml.org/doc/254774},
volume = {26(40)},
year = {1979},
}
TY - JOUR
AU - Zoran Marković
TI - An Intuitionistic Ommiting Types Theorem
JO - Publications de l'Institut Mathématique
PY - 1979
PB - Matematički institut SANU
VL - 26(40)
IS - 46
SP - 167
EP - 169
LA - eng
KW - intuitionistic omitting types theorem; Heyting's predicate calculus; Kripke models
UR - http://eudml.org/doc/254774
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.