Original language | English |
---|---|
Pages (from-to) | 3-12 |
Journal | The journal of symbolic logic |
Volume | 43 |
Issue number | 1 |
Publication status | Published - 1978 |
Externally published | Yes |
Cite this
de Swart, H. (1978). First Steps in Intuitionistic Model Theory. The journal of symbolic logic, 43(1), 3-12.
@article{757da090df784ec9a797847330acedee,
title = "First Steps in Intuitionistic Model Theory",
author = "{de Swart}, Harrie",
year = "1978",
language = "English",
volume = "43",
pages = "3--12",
journal = "The journal of symbolic logic",
issn = "0022-4812",
publisher = "Association for Symbolic Logic",
number = "1",
}
de Swart, H 1978, 'First Steps in Intuitionistic Model Theory', The journal of symbolic logic, vol. 43, no. 1, pp. 3-12.
First Steps in Intuitionistic Model Theory. / de Swart, Harrie.
In: The journal of symbolic logic, Vol. 43, No. 1, 1978, p. 3-12.Research output: Contribution to journal › Article › Scientific › peer-review
TY - JOUR
T1 - First Steps in Intuitionistic Model Theory
AU - de Swart, Harrie
PY - 1978
Y1 - 1978
M3 - Article
VL - 43
SP - 3
EP - 12
JO - The journal of symbolic logic
JF - The journal of symbolic logic
SN - 0022-4812
IS - 1
ER -
de Swart H. First Steps in Intuitionistic Model Theory. The journal of symbolic logic. 1978;43(1):3-12.