%0 Journal Article
%A Švejdar, Vítězslav
%T On sequent calculi for intuitionistic propositional logic
%J Commentationes Mathematicae Universitatis Carolinae
%D 2006
%P 159-173
%V 47
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_2006__47_1_a14/
%G en
%F CMUC_2006__47_1_a14