Computation, Logic, Philosophy by Hao Wang Hao