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