| Publication | Date of Publication | Type |
|---|
| Referee's report on Leonid Levin's dissertation ``Some theorems on the algorithmic approach to probability theory and information theory (November 27, 1972) | 2011-09-12 | Paper |
| On a finitary version of mathematical analysis | 2002-11-20 | Paper |
| Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics | 1999-11-22 | Paper |
| Canonical recursive functions and operations | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3727992 | 1982-01-01 | Paper |
| On the quantifier of limiting realizability | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3866093 | 1979-01-01 | Paper |
| A hierarchy of Brouwer constructive functionals | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3864518 | 1977-01-01 | Paper |
| On a hierarchy of methods of interpreting propositions in constructive mathematics | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4111540 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4053587 | 1974-01-01 | Paper |
| ANDREI ANDREEVICH MARKOV (on his seventieth birthday) | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133952 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4071217 | 1973-01-01 | Paper |
| Concerning the constructive interpretation of auxiliary formulas. I | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5556429 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5553292 | 1965-01-01 | Paper |
| ANDREI ANDREEVICH MARKOV (on the occasion of his 60th birthday) | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5586308 | 1964-01-01 | Paper |
| On the constructive interpretation of mathematical judgments | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3849888 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3849890 | 1962-01-01 | Paper |
| [Russian Text Ignored.] | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3268319 | 1958-01-01 | Paper |
| [Russian Text Ignored] | 1958-01-01 | Paper |
| [Russian Text Ignored] | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3229409 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5825649 | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5832052 | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5824354 | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5812343 | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5789692 | 1948-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5802771 | 1948-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5837886 | 1946-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5837887 | 1946-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5837888 | 1946-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5838522 | 1946-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5837226 | 1944-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5837889 | 1943-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5837890 | 1943-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5837891 | 1943-01-01 | Paper |
