Author: Mleziva, Miroslav
- : 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
