Constructive mathematics in St Petersburg, Russia: a (somewhat subjective) view from within

DOI10.1007/978-3-319-24756-4_11zbMATH Open1418.03005OpenAlexW1549992193MaRDI QIDQ5224780FDOQ5224780

Vladik Kreinovich

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

zbMATH Keywords

constructive mathematicsRussian mathematicshistory of constructive mathematics

Mathematics Subject Classification ID

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)

• Title not available (Why is that?)
• Title not available (Why is that?)

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)