"Mathematical logic" - читать интересную книгу автора (H.D. Ebbinghaus, J. Flum, W. Thomas)