Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik
From MaRDI portal
Publication:4774024
DOI10.1007/BF02015371zbMath0286.02035WikidataQ56082434 ScholiaQ56082434MaRDI QIDQ4774024
Publication date: 1974
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137888
03F55: Intuitionistic mathematics
03B55: Intermediate logics
03F99: Proof theory and constructive mathematics
Related Items