Syntaktické metody matematické logiky. (Czech) [Syntactical methods of mathematical logic]. Pokroky matematiky, fyziky a astronomie, vol. 11 (1966), issue 1, pp. 22-31