"Elements of Mathematical Logic: Model Theory (Stud. in Logic & Maths.)" - читать интересную книгу автора (G Kreisel, J L Krivine)