Author: 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
- : Die Unabhängigkeit des Axiomensystems des Aussagenkalküls von Hermes und Scholz. (German) [The independence of Hermes-Scholz axiomatic system of propositional calculus]. Časopis pro pěstování matematiky, vol. 84 (1959), issue 4, pp. 454-460
Search
Partner of
