TY - JOUR AU - Pudlák, Pavel TI - O složitosti JO - Pokroky matematiky, fyziky a astronomie PY - 1988 SP - 20 EP - 34 VL - 33 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/PMFA_1988__33_1_a3/ LA - cz ID - PMFA_1988__33_1_a3 ER -