A Note on Quine's Principles of Quantification. - Hao Wang 001 (J. Symb. Log., 1947)

A New Theory of Element and Number. - Hao Wang 001 (J. Symb. Log., 1948)

Non-Standard Models for Formal Logics. - J. Barkley Rosser; Hao Wang 001 (J. Symb. Log., 1950)

A Formal System of Logic. - Hao Wang 001 (J. Symb. Log., 1950)

Existence of Classes and Value Specification of Variables. - Hao Wang 001 (J. Symb. Log., 1950)

Set-Theoretical Basis for Real Numbers. - Hao Wang 001 (J. Symb. Log., 1950)

Logic of Many-Sorted Theories. - Hao Wang 001 (J. Symb. Log., 1952)

Certain Predicates Defined by Induction Schemata. - Hao Wang 001 (J. Symb. Log., 1953)

Problems. - Hao Wang 001 (J. Symb. Log., 1953)

The Formalization of Mathematics. - Hao Wang 001 (J. Symb. Log., 1954)

Undecidable Sentences Generated by Semantic Paradoxes. - Hao Wang 001 (J. Symb. Log., 1955)

The Logic of Automata - Part I. - Arthur W. Burks; Hao Wang 001 (J. ACM, 1957)

The Logic of Automata - Part II. - Arthur W. Burks; Hao Wang 001 (J. ACM, 1957)

A Variant to Turing's Theory of Computing Machines. - Hao Wang 001 (J. ACM, 1957)

The Axiomatization of Arithmetic. - Hao Wang 001 (J. Symb. Log., 1957)

Alternative Proof of a Theorem of Kleene. - Hao Wang 001 (J. Symb. Log., 1958)

Proving Theorems by Pattern Recognition I. - Hao Wang 001 (Commun. ACM, 1960)

Toward Mechanical Mathematics. - Hao Wang 001 (IBM J. Res. Dev., 1960)

Words in the History of a Turing Machine with a Fixed Input. - Michael O. Rabin; Hao Wang 001 (J. ACM, 1963)

Short Definitions of the Ordinals. - Kenneth R. Brown; Hao Wang 001 (J. Symb. Log., 1966)

Some Facts About Kurt Godel. - Hao Wang 001 (J. Symb. Log., 1981)

Time in philosophy and in physics: From Kant and Einstein to Gödel. - Hao Wang 001 (Synth., 1995)

Thoralf Albert Skolem. - Jens Erik Fenstad; Hao Wang 001 (Logic from Russell to Church, 2009)