| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 4091459 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3961574 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3817369 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3906473 (Why is no real title available?) | 1983-01-01 | Paper |
Calculi with monotone deductions and their economic interpretation
Journal of Soviet Mathematics | 1982-01-01 | Paper |
Herbrand strategies and the greater deducibility relation
Journal of Soviet Mathematics | 1981-01-01 | Paper |
Absorption relation on regular sets
Journal of Soviet Mathematics | 1980-01-01 | Paper |
NIKOLAI ALEKSANDROVICH SHANIN (on his sixtieth birthday)
Russian Mathematical Surveys | 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 3692701 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3668599 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3694631 (Why is no real title available?) | 1979-01-01 | Paper |
Mutation calculi
Journal of Soviet Mathematics | 1978-01-01 | Paper |
Macroevolution as deduction process
Synthese | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3557752 (Why is no real title available?) | 1977-01-01 | Paper |
Cut-type rules for calculi of general type
Journal of Soviet Mathematics | 1977-01-01 | Paper |
Probabilistic canonical calculi
Journal of Soviet Mathematics | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3554186 (Why is no real title available?) | 1976-01-01 | Paper |
Deduction search in calculi of general type
Journal of Soviet Mathematics | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3497663 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3492166 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3564947 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3536060 (Why is no real title available?) | 1973-01-01 | Paper |
Extension of the inverse method to the predicate calculus with equality
Journal of Soviet Mathematics | 1973-01-01 | Paper |
Decidable classes reducing to a one-quantifier class
Proceedings of the Steklov Institute of Mathematics | 1972-01-01 | Paper |
The inverse method and tactics for establishing deducibility for a calculus with functional symbols
Proceedings of the Steklov Institute of Mathematics | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3441640 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3366544 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3366545 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3361272 (Why is no real title available?) | 1971-01-01 | Paper |
Certain properties of E. L. Post’s apparatus of canonical calculi
Five Papers on Logic and Foundations | 1971-01-01 | Paper |
On E. L. Post’s “tag” problem
Eleven Papers on Logic, Algebra, Analysis and Topology | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3361271 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3315228 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3317762 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3328175 (Why is no real title available?) | 1969-01-01 | Paper |
The inverse method for establishing deducibility for logical calculi
Proceedings of the Steklov Institute of Mathematics | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3274738 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3299689 (Why is no real title available?) | 1967-01-01 | Paper |
Representation of recursively enumerable sets by local calculi
Proceedings of the Steklov Institute of Mathematics | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3264938 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3259055 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3307562 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3259053 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3275580 (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 3236051 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3285233 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3305018 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3305017 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3344564 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3231084 (Why is no real title available?) | 1962-01-01 | Paper |
