A. S. Kuzichev

发表

On the imbedding of formal arithmetic in combinatorially complete systems

A. A. Kuzichev, A. S. Kuzichev, 1980 .

Sequential Systems of λ-Conversion and of Combinatory Logic

A. S. Kuzichev, 1980 .

Implicative systems of combinatory logic

A. S. Kuzichev, S. L. Nikogosov, 1970 .

Deductive-combinatorial construction of the theory of functionality

A. S. Kuzichev, 1973 .

Sof'ya Aleksandrovna Yanovskaya's work in the field of mathematical logic

A. S. Kuzichev, A. A. Markov, Z. A. Kuzicheva, 1996 .

Paraconsistent intelligent systems of computer logics

A. S. Kuzichev, 1991 .

Deductive operators of combinatory logic

A. S. Kuzichev, 1974 .

A version of formalization of Cantor's set theory

A. S. Kuzichev, 1999 .

Set theory in type-free combinatorially complete systems

A. S. Kuzichev, 1983 .