In Memoriam: Hao Wang 1921–1995

Bulletin of Symbolic Logic 2 (1):108-111 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1079898600007964

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Hao Wang 1921-1995.Sidney Morgenbesser & Charles Parsons - 1996 - Proceedings and Addresses of the American Philosophical Association 70 (2):195 - 197.
A bibliography of Hao Wang.Marie Grossi, Montgomery Link, Katalin Makkai & And Charles Parsons - 1998 - Philosophia Mathematica 6 (1):25-38.
In memoriam: Leon Albert Henkin, 1921—2006.J. Donald Monk - 2009 - Bulletin of Symbolic Logic 15 (3):326-331.
In memoriam: Ruth Barcan Marcus 1921-2012.Timothy Williamson - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
In Memoriam: Robin Oliver Gandy 1919–1995.Yiannis Moschovakis & Mike Yates - 1996 - Bulletin of Symbolic Logic 2 (3):367-370.
In Memoriam: Alonzo Church 1903–1995.H. B. Enderton - 1995 - Bulletin of Symbolic Logic 1 (4):486-488.
Hao Wang. Undecidable sentences generated by semantic paradoxes. The journal of symbolic logic, vol. 20 , pp. 31–34. Reprinted Hao Wang. as Undecidable sentences suggested by semantic paradoxes, pp. 546–558.Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):100.
Wang Hao. A formal system of logic.Theodore Hailperin - 1950 - Journal of Symbolic Logic 15 (3):228-229.
Burton Dreben, A. S. Kahr, and Hao Wang. Classification of AEA formulas by letter atoms. Bulletin of the American Mathematical Society, vol. 68 , pp. 528–532.F. C. Oglesby - 1964 - Journal of Symbolic Logic 29 (2):101.
Wang Hao. The formalization of mathematics.Gert H. Müller - 1957 - Journal of Symbolic Logic 22 (3):290-292.

Analytics

Added to PP
2009-01-28

Downloads
130 (#346,566)

6 months
14 (#827,216)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

A Logical Journey. From Gödel to Philosophy.Hao Wang - 1998 - Philosophy 73 (285):495-504.
Reflections on Kurt Godel.Stewart Shapiro - 1991 - Philosophical Review 100 (1):130.
The formalization of mathematics.Hao Wang - 1954 - Journal of Symbolic Logic 19 (4):241-266.

View all 8 references / Add more references