TY  - JOUR
AU  - Hájek, Petr
TI  - Syntaktické metody matematické logiky
JO  - Pokroky matematiky, fyziky a astronomie
PY  - 1966
SP  - 22
EP  - 31
VL  - 11
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/PMFA_1966_11_1_a2/
LA  - cs
ID  - PMFA_1966_11_1_a2
ER  -