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
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

@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
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

Cité par Sources :