%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