%0 Journal Article
%A Rössler, Karel
%T Důkaz bezespornosti funkčního počtu matematické logiky
%J Časopis pro pěstování matematiky a fysiky
%D 1935
%P 132
%V 64
%N 5
%U http://geodesic.mathdoc.fr/articles/10.21136/CPMF.1935.121264/
%R 10.21136/CPMF.1935.121264
%G cs
%F 10_21136_CPMF_1935_121264