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) Wang, Hao, Logic and Computers (1965)