%0 Journal Article
%A Došen, Kosta
%T Intuitionistic double negation as a necessity operator.
%J Publications de l 'Institut Mathématique. Nouvelle Série
%D 1984
%P 15
%V 35(49)
%I mathdoc
%U https://geodesic-test.mathdoc.fr/item/PIM2_1984__35(49)_257669/
%G en
%F PIM2_1984__35(49)_257669