First Steps in Intuitionistic Model Theory

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
Pages (from-to)3-12
JournalThe journal of symbolic logic
Volume43
Issue number1
Publication statusPublished - 1978
Externally publishedYes

Cite this

@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",

}

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 journalArticleScientificpeer-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 -