Heyting’s contribution to the change in research into the foundations of mathematics
From MaRDI portal
Publication:4312340
DOI10.1080/01445349408837229zbMath0810.01003WikidataQ58531050 ScholiaQ58531050MaRDI QIDQ4312340
Publication date: 10 November 1994
Published in: History and Philosophy of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/01445349408837229
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The war of the frogs and the mice, or the crisis of the Mathematische Annalen
- Intuitionism. An introduction
- Intuitionistic views on the nature of mathematics
- Zur Deutung der intuitionistischen Logik
- BLICK VON DER INTUITIONISTISCHEN WARTE
- Die kontroverse um die intuitionistische logik vor ihrer axiomatisierung durch heyting im jahre 1930
- On weakened quantification