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