A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| Wang, Hao, On Zermelo's and Von Neumann's Axioms for Set Theory (1949) |
| Wang, Hao, On the Consistency Question of Analysis (1950) |
| Wang, Hao, Remarks on the Comparison of Axiom Systems (1950) |
| Wang, Hao, Arithmetic Models for Formal Systems (1951) |
| Wang, Hao, The Irreducibility of Impredicative Principles (1952) |
| Wang, Hao, Les Systèmes Axiomatiques de la Théorie des Ensembles (1953) |
| Wang, Hao, Proving Theorems by Pattern Recognition I. (1960) |
| Wang, Hao, Toward Mechanical Mathematics (1960) |
| Wang, Hao, Mechanical Mathematics and Inferential Analysis (1961) |
| Wang, Hao, Dominoes and the AEA Case of the Decision Problem (1962) |