@article{PIM2_1998__63(77)_258074,
     author = {Wehmeier, Kai F.},
     title = {Constructing {Kripke} models of certain fragments of {Heyting's} arithmetic.},
     journal = {Publications de l 'Institut Math\'ematique. Nouvelle S\'erie},
     pages = {1},
     publisher = {mathdoc},
     volume = {63(77)},
     year = {1998},
     zbl = {0946.03070},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/PIM2_1998__63(77)_258074/}
}