Zur intuitionistischen Algebra und Zahlentheorie - Leicht, Johann (1952)