"Робинсон,_Введение_в_теорию_моделей_и_метаматиматику_алгебры,1967.pdf" - читать интересную книгу автора