Geodesic
Důkaz bezespornosti funkčního počtu matematické logiky
Časopis pro pěstování matematiky a fysiky, Tome 64 (1935) no. 5, p. 132

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library 

Rössler, Karel. Důkaz bezespornosti funkčního počtu matematické logiky. Časopis pro pěstování matematiky a fysiky, Tome 64 (1935) no. 5, p. 132. doi: 10.21136/CPMF.1935.121264
@article{10_21136_CPMF_1935_121264,
     author = {R\"ossler, Karel},
     title = {D\r{u}kaz bezespornosti funk\v{c}n{\'\i}ho po\v{c}tu matematick\'e logiky},
     journal = {\v{C}asopis pro p\v{e}stov\'an{\'\i} matematiky a fysiky},
     pages = {132},
     year = {1935},
     volume = {64},
     number = {5},
     doi = {10.21136/CPMF.1935.121264},
     language = {cs},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/CPMF.1935.121264/}
}
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
SP  - 132
VL  - 64
IS  - 5
UR  - http://geodesic.mathdoc.fr/articles/10.21136/CPMF.1935.121264/
DO  - 10.21136/CPMF.1935.121264
LA  - cs
ID  - 10_21136_CPMF_1935_121264
ER  - 
%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

Cité par Sources :