scientific article; zbMATH DE number 3317729
From MaRDI portal
Publication:5597506
Cited in
(6)- Unavoidable sequences in constructive analysis
- Intuitionistic analysis at the end of time
- A marriage of Brouwer's intuitionism and Hilbert's finitism. I: Arithmetic
- Connectedness of the continuum in intuitionistic mathematics
- Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session
- Analyzing realizability by Troelstra's methods
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5597506)
