Logical Dilemmas: The Life and Work of Kurt Gdel