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


Гуревич Ю.Ш.
[1966]
К проблеме разрешения для чистого узкого исчисления предикатов
ДАН СССР, 166, № 5, 1032-1034
66.08.77
статья

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