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


Ершов Ю.Л.
[1983]
Динамическая логика над допустимыми множествами
ДАН СССР, 273, № 5, 1045-1048
84.05.78
статья

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