A Logical Journey by Hao Wang