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

DOI10.1007/978-3-319-24756-4_11MaRDI QIDQ5224780zbMATH OpenOpenAlexFDO

Authors 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

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)

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)

• scientific article; zbMATH DE number 2033488 (Why is no real title available?)
• scientific article; zbMATH DE number 1342353 (Why is no real title available?)

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)