"Model theory" - читать интересную книгу автора (Chen Chung Chang, H. Jerome Keisler)