%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