%0 Journal Article %A Kůrka, Petr %T The Heyting doctrines %J Commentationes Mathematicae Universitatis Carolinae %D 1972 %P 643-657 %V 13 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/CMUC_1972__13_4_a4/ %G en %F CMUC_1972__13_4_a4