Die kontroverse um die intuitionistische logik vor ihrer axiomatisierung durch heyting im jahre 1930
From MaRDI portal
Publication:3787951
DOI10.1080/01445348808837126zbMath0645.01013OpenAlexW2059644889WikidataQ57472881 ScholiaQ57472881MaRDI QIDQ3787951
Publication date: 1988
Published in: History and Philosophy of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/01445348808837126
History of mathematics in the 20th century (01A60) Other nonclassical logic (03B60) History of mathematical logic and foundations (03-03)
Related Items (3)
L. E. J. Brouwer: Toward intuitionistic logic ⋮ On A. Ya. Khinchin's paper `Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics' (1926): a translation with introduction and commentary ⋮ Heyting’s contribution to the change in research into the foundations of mathematics
Cites Work
This page was built for publication: Die kontroverse um die intuitionistische logik vor ihrer axiomatisierung durch heyting im jahre 1930