25
правок
Изменения
Нет описания правки
* [http://en.wikipedia.org/wiki/First-order_logic Wikipedia {{---}} First-order logic]
[[Категория: Теория формальных языков]]
[[Категория: Теория вычислимости]]
[[Категория: Примеры неразрешимых задач]]
