带等式谓词演算

带等式谓词演算
_
predicate calculus with identity

Наука. 2013.

Игры ⚽ Поможем решить контрольную работу

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»