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


Гуревич Ю.Ш.
[1966]
Проблема разрешения для узкого исчисления предикатов
ДАН СССР, 166, № 3, 510-511
66.10.47
статья

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