Яворская Т.Л. - Математическая логика - 7. Изоморфизм и элементарная ...