Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik

Published in: Archive for Mathematical Logic

Volume 16, Issue 3-4, pp. 119-132

DOI: 10.1007/bf02015371