Eine Umformung des Heytingschen Axiomensystems für den intuitionistischen Aussagenkalkül. Dem Andenken an Heinrich Scholz gewidmet.
- Published in:
- Mathematical Logic Quarterly, 1957, v. 3, n. 1-5, p. 18, doi. 10.1002/malq.19570030103
- By:
- Publication type:
- Article