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