| Publication | Date of Publication | Type |
|---|
| Upper and lower bounds for the height of proofs in sequent calculus for intuitionistic logic | 2024-02-01 | Paper |
| Gregory Samuilovich Tseytin (obituary) | 2024-01-25 | Paper |
| Cut rule for the resolution method | 2015-02-13 | Paper |
| Nikolai Aleksandrovich Shanin (obituary) | 2013-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5460923 | 2005-07-20 | Paper |
| Nikolai Aleksandrovich Shanin (on his 80th birthday) | 2003-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4274311 | 1993-12-14 | Paper |
| Remark on Kreisel's conjecture | 1993-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3972528 | 1992-06-25 | Paper |
| Proof schemata in Hilbert-type axiomatic theories | 1991-01-01 | Paper |
| Nikolai Aleksandrovich Shanin (on his seventieth birthday) | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3481697 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3469081 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3496332 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3816070 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3816071 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3778747 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3794178 | 1987-01-01 | Paper |
| Upper bound on the lengthening of proofs by cut elimination | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5187274 | 1984-01-01 | Paper |
| Lower bounds for increasing complexity of derivations after cut elimination | 1982-01-01 | Paper |
| Three ways of recognizing inessential formulas in sequents | 1982-01-01 | Paper |
| Solvable classes of pseudoprenex formulas | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3859764 | 1980-01-01 | Paper |
| NIKOLAI ALEKSANDROVICH SHANIN (on his sixtieth birthday) | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3866101 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3866102 | 1979-01-01 | Paper |
| New proof of the uniqueness theorem for constructive differentiable functions of a complex variable | 1977-01-01 | Paper |
| A specialization of the form of deductions in Gentzen calculi and its applications | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4109666 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133610 | 1974-01-01 | Paper |
| On the complexity of expansion of algebraic irrationalities in continued fractions | 1973-01-01 | Paper |
| Equivalence of two definitions of continuity | 1973-01-01 | Paper |
| On the continuity of constructive functionals | 1973-01-01 | Paper |
| On biconjunctive reduction classes | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4113809 | 1973-01-01 | Paper |
| Decidable classes reducing to a one-quantifier class | 1972-01-01 | Paper |
| Undecidable classes of formulas for the constructive predicate calculus. I | 1972-01-01 | Paper |
| On constructive mappings of a disk into itself | 1972-01-01 | Paper |
| Certain questions of the theory of polynomials with constructive real coefficients | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5626624 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5628103 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5628104 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5634868 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5638280 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4766965 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5594588 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5596257 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5551390 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5560259 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5573382 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5595145 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5604436 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5604459 | 1968-01-01 | Paper |
| Über konstruktive Abbildungen endlicher Polyeder | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5534212 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5551114 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5581595 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5581619 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5590059 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5553292 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5559242 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5559243 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5559244 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5608012 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5613950 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5608010 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5608011 | 1963-01-01 | Paper |
