BLICK VON DER INTUITIONISTISCHEN WARTE
From MaRDI portal
Publication:3264231
DOI10.1111/j.1746-8361.1958.tb01468.xzbMath0089.24502OpenAlexW2061349205MaRDI QIDQ3264231
Publication date: 1958
Published in: dialectica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1111/j.1746-8361.1958.tb01468.x
Related Items
L. E. J. Brouwer: Toward intuitionistic logic ⋮ Heyting’s contribution to the change in research into the foundations of mathematics ⋮ Unnamed Item ⋮ Weyl and Intuitionistic Infinitesimals ⋮ Unnamed Item ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting ⋮ Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session ⋮ Gödel and Intuitionism