Důkaz bezespornosti funkčního počtu matematické logiky. (Czech) [A proof of the consistency of function calcul of mathematical logic]. Časopis pro pěstování matematiky a fysiky, vol. 64 (1935), issue 5, pp. 132