"Elements of mathematical logic (model theory)" - читать интересную книгу автора (G Kreisel, J L Krivine)