A logical journey : from Gödel to philosophy / - Wang, Hao (MIT Press, 1996)