Computation, Logic, Philosophy: a collection of essays - Hao, Wang. (China: Science Press, 1990)
Keywords: Logic