Geodesic
Die Unabhängigkeit des Axiomensystems des Aussagenkalküls von Hermes und Scholz
Časopis pro pěstování matematiky, Tome 84 (1959) no. 4, pp. 454-460

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

DOI MR   Zbl

DOI : 10.21136/CPM.1959.117321
Classification : 02-00 
Mleziva, Miroslav. Die Unabhängigkeit des Axiomensystems des Aussagenkalküls von Hermes und Scholz. Časopis pro pěstování matematiky, Tome 84 (1959) no. 4, pp. 454-460. doi: 10.21136/CPM.1959.117321
@article{10_21136_CPM_1959_117321,
     author = {Mleziva, Miroslav},
     title = {Die {Unabh\"angigkeit} des {Axiomensystems} des {Aussagenkalk\"uls} von {Hermes} und {Scholz}},
     journal = {\v{C}asopis pro p\v{e}stov\'an{\'\i} matematiky},
     pages = {454--460},
     year = {1959},
     volume = {84},
     number = {4},
     doi = {10.21136/CPM.1959.117321},
     mrnumber = {0115897},
     zbl = {0201.32202},
     language = {de},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/CPM.1959.117321/}
}
TY  - JOUR
AU  - Mleziva, Miroslav
TI  - Die Unabhängigkeit des Axiomensystems des Aussagenkalküls von Hermes und Scholz
JO  - Časopis pro pěstování matematiky
PY  - 1959
SP  - 454
EP  - 460
VL  - 84
IS  - 4
UR  - http://geodesic.mathdoc.fr/articles/10.21136/CPM.1959.117321/
DO  - 10.21136/CPM.1959.117321
LA  - de
ID  - 10_21136_CPM_1959_117321
ER  - 
%0 Journal Article
%A Mleziva, Miroslav
%T Die Unabhängigkeit des Axiomensystems des Aussagenkalküls von Hermes und Scholz
%J Časopis pro pěstování matematiky
%D 1959
%P 454-460
%V 84
%N 4
%U http://geodesic.mathdoc.fr/articles/10.21136/CPM.1959.117321/
%R 10.21136/CPM.1959.117321
%G de
%F 10_21136_CPM_1959_117321

[1] H. Hermes, H. Scholz: Mathematische Logik. Enzyklopädie der mathematischen Wissenschaften, Bd. I 1, Heft 1, Teil I; Teubner, Leipzig, 1952. | MR | Zbl

[2] D. Hilbert, P. Bernays: Grundlagen der Mathematik. Bd. I., Springer, Berlin, 1934; S. 76. | Zbl

Cité par Sources :