@BadPurse, называть рецензию разбором. Серьезный уровень.

Ю.Л. Ершов, Е.А. Палютин - Математическая логика.
Надеюсь, пойдет на пользу.