%0 Journal Article
%A Kosta Došen
%T Modal Translations of Heyting and Peano Arithmetic
%J Publications de l'Institut Mathématique
%D 1990
%P 13 
%V _N_S_47
%N 61
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1990_N_S_47_61_a2/
%G en
%F PIM_1990_N_S_47_61_a2