TY  - JOUR
AU  - Bečvář, Jiří
TI  - O druhém Hilbertově problému (Otázka bezespornosti aritmetiky)
JO  - Pokroky matematiky, fyziky a astronomie
PY  - 1971
SP  - 225
EP  - 237
VL  - 16
IS  - 5
UR  - http://geodesic.mathdoc.fr/item/PMFA_1971_16_5_a0/
LA  - cs
ID  - PMFA_1971_16_5_a0
ER  -