著作

From Mathematics to Philosophy , Hao Wang, Routledge Kegan & Paul,June 1974 ISBN 978-0-7100-7689-2

A Logical Journey: From Gödel to Philosophy, Hao Wang, The MIT Press, 1997 ISBN 978-0-262-23189-3。

参考文献

^《俞大维传》. 作者：李元平; 出版社：台湾日报社; 出版日：1992年01月05日，392 页; （繁体中文），01，02，增订版

^Wang, Hao. Toward Mechanical Mathematics. IBM Journal of Research and Development 4. 1960: 2–22. doi:10.1147/rd.41.0002. 

^Loveland, Donald W.; Bledsoe, W. W.Automated theorem proving: after 25 years. Providence, Rhode Island: American Mathematical Society. 1984. ISBN 0-8218-5027-X. , page 47

^吴文俊《数学机械化》iii页、40页，科学出版社，ISBN 7-03-010765，实例“数学机械化自动推理平台”

^ocv

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。