Constructive mathematics in St Petersburg, Russia: a (somewhat subjective) view from within
From MaRDI portal
Publication:5224780
Recommendations
- Constructive mathematics and mathematical logic. Part X. Transl. from the Russian
- scientific article; zbMATH DE number 1301805
- scientific article; zbMATH DE number 221856
- Cantor's paradise regained: constructive mathematics from Brouwer to Kolmogorov to Gelfond
- A Survey of Propositional Realizability Logic
Cited in
(2)
This page was built for publication: Constructive mathematics in St Petersburg, Russia: a (somewhat subjective) view from within
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5224780)