| Publication | Date of Publication | Type |
|---|
A version of formalization of Cantor's set theory.
Doklady Mathematics | 2004-06-15 | Paper |
Solution of the Hilbert central problem following Kolmogorov.
Doklady Mathematics | 2004-06-15 | Paper |
Kolmogorov reduction and consistency
Doklady Mathematics | 2001-01-28 | Paper |
| scientific article; zbMATH DE number 856750 (Why is no real title available?) | 1996-03-17 | Paper |
Paraconsistent intelligent systems of computer logics
Cybernetics and Systems Analysis | 1992-09-27 | Paper |
A conservative extension of a formal arithmetic
Moscow University Mathematics Bulletin | 1988-01-01 | Paper |
[Russian Text Ignored]
Mathematical Logic Quarterly | 1983-01-01 | Paper |
Set theory in type-free combinatorially complete systems
Moscow University Mathematics Bulletin | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3878894 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3878896 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3878895 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3878897 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3809530 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3827825 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3799614 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3797729 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3779290 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3706407 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3706406 (Why is no real title available?) | 1979-01-01 | Paper |
[Russian Text Ignored.]
Mathematical Logic Quarterly | 1979-01-01 | Paper |
Formal arithmetic in combinatorily complete systems. I
Moscow University Mathematics Bulletin | 1978-01-01 | Paper |
Formal arithmetic in combinatorily complete systems. II
Moscow University Mathematics Bulletin | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3679776 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3679777 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3613007 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3613008 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3613009 (Why is no real title available?) | 1978-01-01 | Paper |
Cut theorem for \(\mathfrak R\)-theories in combinatorially complete systems
Moscow University Mathematics Bulletin | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3564938 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3613005 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3613006 (Why is no real title available?) | 1977-01-01 | Paper |
Substitution operation in systems with unrestricted principle of combinatorial completeness
Moscow University Mathematics Bulletin | 1976-01-01 | Paper |
Combinatorially complete systems with operators \(\Xi,F,Q,\Pi,\exists,\neg, \&,lor,\equiv\)
Moscow University Mathematics Bulletin | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3557750 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3539197 (Why is no real title available?) | 1976-01-01 | Paper |
Deductive operators of combinatory logic
Moscow University Mathematics Bulletin | 1974-01-01 | Paper |
On the expressive potentialities of deductive systems of \(\lambda\)- conversion and combinatory logic
Moscow University Mathematics Bulletin | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3467043 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3492604 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3503201 (Why is no real title available?) | 1974-01-01 | Paper |
Implicative systems of combinatory logic with a universal quantifier
Moscow University Mathematics Bulletin | 1973-01-01 | Paper |
The functionality operator in implicative systems of combinatory logic
Moscow University Mathematics Bulletin | 1973-01-01 | Paper |
Consistent extensions of pure combinatory logic
Moscow University Mathematics Bulletin | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3427313 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3461909 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3453568 (Why is no real title available?) | 1973-01-01 | Paper |
Implicative systems of combinatory logic
Moscow University Mathematics Bulletin | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3363519 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3373736 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3461908 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3348074 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3356721 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3370309 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3325578 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3344556 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3326998 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3302019 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3254474 (Why is no real title available?) | 1965-01-01 | Paper |
