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

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

DOI : 10.21136/CPM.1959.117321
Classification : 02-00 
@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},
     publisher = {mathdoc},
     volume = {084},
     number = {4},
     year = {1959},
     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  - 084
IS  - 4
PB  - mathdoc
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 084
%N 4
%I mathdoc
%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
Mleziva, Miroslav. Die Unabhängigkeit des Axiomensystems des Aussagenkalküls von Hermes und Scholz. Časopis pro pěstování matematiky, Tome 084 (1959) no. 4, pp. 454-460. doi : 10.21136/CPM.1959.117321. http://geodesic.mathdoc.fr/articles/10.21136/CPM.1959.117321/

Cité par Sources :