TY - JOUR AU - Pudlák, Pavel TI - Doslov k překladu Gentzenova článku „Současný stav ve výzkumu základů matematiky‟ JO - Pokroky matematiky, fyziky a astronomie PY - 1992 SP - 270 EP - 272 VL - 37 IS - 5 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/PMFA_1992__37_5_a2/ LA - cz ID - PMFA_1992__37_5_a2 ER -