Hao Wang. Logician and Philosopher

Hao Wang (1921-1995) was a prolific researcher andwriter in mathematical logic, computer science, and philosophy. He is known for the close relation he developed with Kurt Gdel during the last decade of the latter's life and the two books a...