Bibliography of Lavrov I.A.


Гуревич Ю.Ш.
[1969]
Проблема разрешения для логики предикатов и операций
Алгебра и логика, 8, № 3, 284-308
70.04.107
статья

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