TY  - JOUR
AU  - Wehmeier, Kai F.
TI  - Constructing Kripke models of certain fragments of Heyting's arithmetic.
JO  - Publications de l 'Institut Mathématique. Nouvelle Série
PY  - 1998
SP  - 1
VL  - 63(77)
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/PIM2_1998__63(77)_258074/
LA  - en
ID  - PIM2_1998__63(77)_258074
ER  -