"Введение в теорию моделей и метаматематику алгебры" - читать интересную книгу автора (Робинсон А.(Robinson))