• DML-CZ Home

02-25 

• Mleziva, Miroslav: K axiomatisaci trojhodnotové výrokové logiky. (Czech) [On the axiomatization of three-valued propositional logic]. Časopis pro pěstování matematiky, vol. 86 (1961), issue 4, pp. 392-403