Constructive mathematics in St Petersburg, Russia: a (somewhat subjective) view from within
DOI10.1007/978-3-319-24756-4_11zbMATH Open1418.03005OpenAlexW1549992193MaRDI QIDQ5224780FDOQ5224780
Publication date: 24 July 2019
Published in: Studies in Universal Logic (Search for Journal in Brave)
Full work available at URL: https://digitalcommons.utep.edu/cgi/viewcontent.cgi?article=1856&context=cs_techrep
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
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Schools of mathematics (01A72) Constructive and recursive analysis (03F60)
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)