Изменения

Перейти к: навигация, поиск
Нет описания правки
<tex>\left \{ P(a_1, a_2, ..., a_m, x_1, x_2, ..., x_n)=0 \right \}</tex>
===Предикат Робинсон, совместный . Совместный результат М. Дэвиса и Х. Патнема и Д. Робинсон.===
Анонимный участник

Навигация