Изменения

* [http://en.wikipedia.org/wiki/Entscheidungsproblem Wikipedia {{---}} Entscheidungsproblem]

* [http://en.wikipedia.org/wiki/First-order_logic Wikipedia {{---}} First-order logic]