Bibliography of Lavrov I.A.


Ершов Ю.Л.
[1985]
Σ-предикаты конечных типов над допустимым множеством
Алгебра и логика, 24, № 6, 499-536
86.06.89
статья

Вернуться к поиску