Шкільняк, С.С.
(Компьютерная математика, 2013)
Для чистих першопорядкових логік часткових однозначних та часткових неоднозначних предикатів побудовано секвенційні числення. При цьому використано спеціальні предикати-індикатори наявності значення для змінних. Доведено ...