Pages that link to "Item:Q3264231"
From MaRDI portal
The following pages link to BLICK VON DER INTUITIONISTISCHEN WARTE (Q3264231):
Displayed 9 items.
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- L. E. J. Brouwer: Toward intuitionistic logic (Q1899011) (← links)
- Weyl and Intuitionistic Infinitesimals (Q3297255) (← links)
- Heyting’s contribution to the change in research into the foundations of mathematics (Q4312340) (← links)
- Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting (Q5208120) (← links)
- Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212) (← links)
- Gödel and Intuitionism (Q5250219) (← links)
- (Q5537594) (← links)
- (Q5652656) (← links)