"Математическая логика" - читать интересную книгу автора (Ершов Ю.Л., Палютин Е.А., Тайцлин М.А.)