TY  - JOUR
AU  - Zoran Petrić
TI  - 270 minutes on categorial proof theory
JO  - Zbornik radova
PY  - 2015
SP  - 7 
VL  - 18
IS  - 26
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZR_2015_18_26_a1/
LA  - en
ID  - ZR_2015_18_26_a1
ER  -