Hao Wang - RankMe

23 papers Journal 22

Year	Rank	Type	Title / Venue / Authors
2009	—	`ch.`	Thoralf Albert Skolem. Logic from Russell to Church Jens Erik Fenstad, Hao Wang
1995	J	`jnl`	Time in philosophy and in physics: From Kant and Einstein to Gödel. Synth. Hao Wang
1981	J	`jnl`	Some Facts About Kurt Godel. J. Symb. Log. Hao Wang
1966	J	`jnl`	Short Definitions of the Ordinals. J. Symb. Log. Kenneth R. Brown, Hao Wang
1963	J	`jnl`	Words in the History of a Turing Machine with a Fixed Input. J. ACM Michael O. Rabin, Hao Wang
1960	J	`jnl`	Proving Theorems by Pattern Recognition I. Commun. ACM Hao Wang
1960	J	`jnl`	Toward Mechanical Mathematics. IBM J. Res. Dev. Hao Wang
1958	J	`jnl`	Alternative Proof of a Theorem of Kleene. J. Symb. Log. Hao Wang
1957	J	`jnl`	A Variant to Turing's Theory of Computing Machines. J. ACM Hao Wang
1957	J	`jnl`	The Axiomatization of Arithmetic. J. Symb. Log. Hao Wang
1957	J	`jnl`	The Logic of Automata - Part I. J. ACM Arthur W. Burks, Hao Wang
1957	J	`jnl`	The Logic of Automata - Part II. J. ACM Arthur W. Burks, Hao Wang
1955	J	`jnl`	Undecidable Sentences Generated by Semantic Paradoxes. J. Symb. Log. Hao Wang
1954	J	`jnl`	The Formalization of Mathematics. J. Symb. Log. Hao Wang
1953	J	`jnl`	Certain Predicates Defined by Induction Schemata. J. Symb. Log. Hao Wang
1953	J	`jnl`	Problems. J. Symb. Log. Hao Wang
1952	J	`jnl`	Logic of Many-Sorted Theories. J. Symb. Log. Hao Wang
1950	J	`jnl`	A Formal System of Logic. J. Symb. Log. Hao Wang
1950	J	`jnl`	Existence of Classes and Value Specification of Variables. J. Symb. Log. Hao Wang
1950	J	`jnl`	Non-Standard Models for Formal Logics. J. Symb. Log. J. Barkley Rosser, Hao Wang
1950	J	`jnl`	Set-Theoretical Basis for Real Numbers. J. Symb. Log. Hao Wang
1948	J	`jnl`	A New Theory of Element and Number. J. Symb. Log. Hao Wang
1947	J	`jnl`	A Note on Quine's Principles of Quantification. J. Symb. Log. Hao Wang