TY  - JOUR
AU  - Švejdar, Vítězslav
TI  - On sequent calculi for intuitionistic propositional logic
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 2006
SP  - 159
EP  - 173
VL  - 47
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CMUC_2006__47_1_a14/
LA  - en
ID  - CMUC_2006__47_1_a14
ER  -