%0 Journal Article
%A Wehmeier, Kai F.
%T Constructing Kripke models of certain fragments of Heyting's arithmetic.
%J Publications de l 'Institut Mathématique. Nouvelle Série
%D 1998
%P 1
%V 63(77)
%I mathdoc
%U https://geodesic-test.mathdoc.fr/item/PIM2_1998__63(77)_258074/
%G en
%F PIM2_1998__63(77)_258074