The Russian school of constructive mathematics, associated principally with Andrey Markov Jr, was (is?) a variety of constructive mathematics focussing on recursion theory.
Last revised on February 19, 2020 at 16:05:01. See the history of this page for a list of all contributions to it.