Computation, logic, philosophy : a collection of essays - Wang, Hao, 1921- (Mathematics and its applications (Kluwer Academic Publishers). China series, 1990)