Mathematische Grundlagenforschung
Subtitle: Intuitionismus, Beweistheorie
By: A. Heyting.
Series: Ergebnisse der Mathematik und ihrer Grenzgebiete -- v. 3, no. 4.; Ergebnisse der Mathematik und ihrer Grenzgebiete -- 3. Bd., 4.
Publisher: Springer
Published: 1974
Place of publication: Berlin; New York
Language: ger
Number of pages: 73
Subjects: Intuitionistic mathematics.; Proof theory.
Notes: Bibliography: p. [69]-73.