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

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

@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},
     publisher = {mathdoc},
     volume = {64},
     number = {5},
     year = {1935},
     doi = {10.21136/CPMF.1935.121264},
     language = {cz},
     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
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  - 
%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
%V 64
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.21136/CPMF.1935.121264/
%R 10.21136/CPMF.1935.121264
%G cz
%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. doi : 10.21136/CPMF.1935.121264. http://geodesic.mathdoc.fr/articles/10.21136/CPMF.1935.121264/

Cité par Sources :