| Publication | Date of Publication | Type |
|---|
Upper and lower bounds for the height of proofs in sequent calculus for intuitionistic logic
Journal of Mathematical Sciences (New York) | 2024-02-01 | Paper |
Gregory Samuilovich Tseytin (obituary)
Russian Mathematical Surveys | 2024-01-25 | Paper |
Cut rule for the resolution method
Journal of Mathematical Sciences (New York) | 2015-02-13 | Paper |
Obituary: Nikolai Aleksandrovich Shanin (1919--2011)
Russian Mathematical Surveys | 2013-12-17 | Paper |
| scientific article; zbMATH DE number 2187724 (Why is no real title available?) | 2005-07-20 | Paper |
Nikolai Aleksandrovich Shanin (on his 80th birthday)
Russian Mathematical Surveys | 2003-08-28 | Paper |
| scientific article; zbMATH DE number 481931 (Why is no real title available?) | 1993-12-14 | Paper |
Remark on Kreisel's conjecture
Journal of Soviet Mathematics | 1993-09-15 | Paper |
| scientific article; zbMATH DE number 15882 (Why is no real title available?) | 1992-06-25 | Paper |
Proof schemata in Hilbert-type axiomatic theories
Journal of Soviet Mathematics | 1991-01-01 | Paper |
Nikolai Aleksandrovich Shanin (on his seventieth birthday)
Russian Mathematical Surveys | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4152372 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4087658 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4087657 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4170894 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4135909 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4039891 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4059392 (Why is no real title available?) | 1987-01-01 | Paper |
Upper bound on the lengthening of proofs by cut elimination
Journal of Soviet Mathematics | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3895055 (Why is no real title available?) | 1984-01-01 | Paper |
Three ways of recognizing inessential formulas in sequents
Journal of Soviet Mathematics | 1982-01-01 | Paper |
Lower bounds for increasing complexity of derivations after cut elimination
Journal of Soviet Mathematics | 1982-01-01 | Paper |
NIKOLAI ALEKSANDROVICH SHANIN (on his sixtieth birthday)
Russian Mathematical Surveys | 1980-01-01 | Paper |
Solvable classes of pseudoprenex formulas
Journal of Soviet Mathematics | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3661310 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3668590 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3668591 (Why is no real title available?) | 1979-01-01 | Paper |
New proof of the uniqueness theorem for constructive differentiable functions of a complex variable
Journal of Soviet Mathematics | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3532939 (Why is no real title available?) | 1976-01-01 | Paper |
A specialization of the form of deductions in Gentzen calculi and its applications
Journal of Soviet Mathematics | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3557762 (Why is no real title available?) | 1974-01-01 | Paper |
On biconjunctive reduction classes
Journal of Soviet Mathematics | 1973-01-01 | Paper |
On the continuity of constructive functionals
Journal of Soviet Mathematics | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3537650 (Why is no real title available?) | 1973-01-01 | Paper |
Equivalence of two definitions of continuity
Journal of Soviet Mathematics | 1973-01-01 | Paper |
On the complexity of expansion of algebraic irrationalities in continued fractions
Proceedings of the Steklov Institute of Mathematics | 1973-01-01 | Paper |
Decidable classes reducing to a one-quantifier class
Proceedings of the Steklov Institute of Mathematics | 1972-01-01 | Paper |
Certain questions of the theory of polynomials with constructive real coefficients
Fourteen Papers on Logic, Geometry, Topology and Algebra | 1972-01-01 | Paper |
On constructive mappings of a disk into itself
Fourteen Papers on Logic, Geometry, Topology and Algebra | 1972-01-01 | Paper |
Undecidable classes of formulas for the constructive predicate calculus. I
Proceedings of the Steklov Institute of Mathematics | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3361272 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3351529 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3353253 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3353254 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3365215 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3314309 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3315228 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3442041 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3289442 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3274716 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3316015 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3325541 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3325565 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3264867 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3266574 (Why is no real title available?) | 1967-01-01 | Paper |
Über konstruktive Abbildungen endlicher Polyeder
Proceedings of the Steklov Institute of Mathematics | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3246242 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3309203 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3299733 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3299698 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3275581 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3275580 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3275579 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3269046 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3336817 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3329924 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3329923 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3329922 (Why is no real title available?) | 1963-01-01 | Paper |
