TY  - JOUR
AU  - Rössler, Karel
TI  - Důkaz bezespornosti funkčního počtu matematické logiky
JO  - Časopis pro pěstování matematiky a fysiky
PY  - 1935
VL  - 64
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.21136/CPMF.1935.121264/
DO  - 10.21136/CPMF.1935.121264
LA  - cz
ID  - 10_21136_CPMF_1935_121264
ER  -