Set theory, logic, and their limitations / Moshé Machover. - Machover, Moshé (Cambridge University Press, 1996)