Matematičeskaja logika - Shoenfield, Joseph R. (Matematičeskaja logika i osnovnija matematiki, 1975)