Set theory, logic and their limitations /
Machover, Moshé,1936-
Cambridge : Cambridge University Press,
1996.