%0 Journal Article %A Mleziva, Miroslav %T K axiomatisaci trojhodnotové výrokové logiky %J Časopis pro pěstování matematiky %D 1961 %P 392-403 %V 086 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.21136/CPM.1961.117388/ %R 10.21136/CPM.1961.117388 %G cs %F 10_21136_CPM_1961_117388