Markov's constructivism in some problems of theoretical informatics

MaRDI QIDQ2880311zbMATH OpenFDO

Authors N. M. Nagornyj

Publication date 13 April 2012

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Logic in computer science (03B70) Undecidability and degrees of sets of sentences (03D35) Metamathematics of constructive systems (03F50)

Recommendations

• scientific article; zbMATH DE number 3966050
• scientific article; zbMATH DE number 41324
• The Constructive Mathematics of A. A. Markov
• scientific article; zbMATH DE number 221856
• scientific article; zbMATH DE number 826822

Cited in

(6)

• Markov's constructive analysis; a participant's view
• Realizability semantics of the early period of Markov's constructivism (history and problems)
• scientific article; zbMATH DE number 3966050 (Why is no real title available?)
• scientific article; zbMATH DE number 41324 (Why is no real title available?)
• scientific article; zbMATH DE number 218498 (Why is no real title available?)
• scientific article; zbMATH DE number 826822 (Why is no real title available?)

This page was built for publication: Markov's constructivism in some problems of theoretical informatics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2880311)