"Математическая логика: Учеб. пособие для вузов" - читать интересную книгу автора (Ершов Ю.Л., Палютин Е.А.)