From Trotsky to Godel: The Life of Jean Van Heijenoort