The following pages link to (Q5551103):
Displaying 8 items.
- Markov's constructive analysis; a participant's view (Q1292407) (← links)
- Soviet mathematics and dialectics in the Post-Stalin era: New horizons (Q1604655) (← links)
- L. E. J. Brouwer: Toward intuitionistic logic (Q1899011) (← links)
- Péter on Church's thesis, constructivity and computers (Q2117808) (← 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)
- (Q5537594) (← links)
- On V.A. Yankov’s Contribution to the History of Foundations of Mathematics (Q5886463) (← links)
