Formalization and automatic theorem-proving

by Hao Wang · 1 review · 1974

Reviewed by	Journal	Date	Access
Joyce Friedman	The Journal of Symbolic Logic	1974	Restricted

Metaphysics & Logic

Also by Wang

Beyond Analytic Philosophy: Doing Justice to What We Know (7 reviews)
Yinyang: The Way of Heaven and Earth in Chinese Thought and Culture (6 reviews)
Aquinas and Sartre: On Freedom, Personal Identity and the Possibility of Happiness (4 reviews)
Reflections on Kurt Gödel (4 reviews)
From Mathematics to Philosophy (3 reviews)
The Ethical Dimensions of Forgetting (3 reviews)
A Logical Journey. From Gödel to Philosophy (2 reviews)
Chinese Philosophy in an Era of Globalization (2 reviews)

Search PhilReviews for this title