Библиография Лаврова И.А.


Ершов Ю.Л.
[1973]
Сколемовские функции и конструктивные модели
Алгебра и логика, 12, № 6, 644-654
74.11.126
G
статья

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