Geodesic
Syntaktické metody matematické logiky
Pokroky matematiky, fyziky a astronomie, Tome 11 (1966) no. 1, pp. 22-31.

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

Classification : 03Bxx 
@article{PMFA_1966__11_1_a2,
     author = {H\'ajek, Petr},
     title = {Syntaktick\'e metody matematick\'e logiky},
     journal = {Pokroky matematiky, fyziky a astronomie},
     pages = {22--31},
     publisher = {mathdoc},
     volume = {11},
     number = {1},
     year = {1966},
     zbl = {0154.25304},
     language = {cz},
     url = {http://geodesic.mathdoc.fr/item/PMFA_1966__11_1_a2/}
}
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
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PMFA_1966__11_1_a2/
LA  - cz
ID  - PMFA_1966__11_1_a2
ER  - 
%0 Journal Article
%A Hájek, Petr
%T Syntaktické metody matematické logiky
%J Pokroky matematiky, fyziky a astronomie
%D 1966
%P 22-31
%V 11
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PMFA_1966__11_1_a2/
%G cz
%F PMFA_1966__11_1_a2
Hájek, Petr. Syntaktické metody matematické logiky. Pokroky matematiky, fyziky a astronomie, Tome 11 (1966) no. 1, pp. 22-31. http://geodesic.mathdoc.fr/item/PMFA_1966__11_1_a2/