%0 Journal Article
%A Kai F. Wehmeier
%T Constructing Kripke Models of Certain Fragments of Heyting's Arithmetic
%J Publications de l'Institut Mathématique
%D 1998
%P 1 
%V _N_S_63
%N 77
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1998_N_S_63_77_a0/
%G en
%F PIM_1998_N_S_63_77_a0