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  -