TY  - JOUR
AU  - Mleziva, Miroslav
TI  - K axiomatisaci trojhodnotové výrokové logiky
JO  - Časopis pro pěstování matematiky
PY  - 1961
SP  - 392
EP  - 403
VL  - 086
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.21136/CPM.1961.117388/
DO  - 10.21136/CPM.1961.117388
LA  - cs
ID  - 10_21136_CPM_1961_117388
ER  -