Publications in Math-Net.Ru
-
On a class of bases for Boolean functions
Zap. Nauchn. Sem. POMI, 358 (2008), 271–281
-
Imbedding of iterative Post algebras in semigroups
Algebra Logika, 21:2 (1982), 228–241
-
Some models of combinatory logic
Mat. Zametki, 19:1 (1976), 149–154
-
A generalization of the theory of recursive functions
Dokl. Akad. Nauk SSSR, 219:5 (1974), 1079–1082
-
Some simple examples of universal functions
Dokl. Akad. Nauk SSSR, 190:1 (1970), 45–46
-
Some semiordered spaces
Dokl. Akad. Nauk SSSR, 138:3 (1961), 553–555
© , 2026