"Lectures in logic and set theory. Mathematical logic" - читать интересную книгу автора (Tourlakis G.)