"Mathematical logic" - читать интересную книгу автора (Shoenfield J.R.)