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