%0 Journal Article
%A Miodrag Rašković
%T A Completenes Theorem for an Infinitary Intutionistic Logic With Both Ordinary and Probability Quantifiers
%J Publications de l'Institut Mathématique
%D 1991
%P 7 
%V _N_S_50
%N 64
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1991_N_S_50_64_a1/
%G en
%F PIM_1991_N_S_50_64_a1