Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Нормальные модели

0:00:09 1. Равносильность моделей. Теорема 0:13:18 2. Теорема о следствии элементарной эквивалентности моделей из их изоморфности 0:25:53 3. Пример...