A Survey of Mathematical Logic

Journal of Symbolic Logic 30 (2):249-250 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,963

External links

  • This entry has no external links. Add one.
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

Popular lectures on mathematical logic.Hao Wang - 1981 - New York: Dover Publications.
A Survey of Mathematical Logic. [REVIEW]Georg Kreisel - 1966 - Philosophical Review 75 (2):240-244.
A survey of mathematical logic.Hao Wang - 1963 - Amsterdam: North-Holland Publishing Company.
What is mathematical logic?John Newsome Crossley (ed.) - 1972 - New York: Dover Publications.
Review: Hao Wang, A survey of Mathematical logic. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (4):288-289.
A Survey of Mathematical Logic.Steven Orey - 1964 - Journal of Symbolic Logic 29 (2):105-106.
A survey of Mathematical logic.Steven Orey - 1963 - Journal of Symbolic Logic 28 (4):288-289.
Review: Arthur W. Burks, Hao Wang, A Survey of Mathematical Logic. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (2):249-249.
Mathematical Logic and Modern Formal Logic.A. A. Vetrov - 1964 - Russian Studies in Philosophy 3 (1):24-33.
Wang Hao. The predicate calculus. A survey of mathematical logic. Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 307–321. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (3):250-250.
Wang Hao. Different axiom systems. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 383–431. [REVIEW]Steven Orey - 1964 - Journal of Symbolic Logic 29 (4):208-208.
Wang Hao. Some partial systems. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 507–534. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):100-101.
Wang Hao. Ackermann's consistency proof. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 362–375. [REVIEW]Steven Orey - 1964 - Journal of Symbolic Logic 29 (2):106-106.
Wang Hao. Some formal details on predicative set theories. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 585–623. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (2):250-250.
Wang Hao. Partial systems of number theory. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 376–382. [REVIEW]Steven Orey - 1964 - Journal of Symbolic Logic 29 (3):147-147.

Analytics

Added to PP
2017-02-21

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Hao Wang
University of Amsterdam

Citations of this work

Frege, Kant, and the logic in logicism.John MacFarlane - 2002 - Philosophical Review 111 (1):25-65.
Substructural Logics: A Primer.Francesco Paoli - 2002 - Dordrecht, Netherland: Springer.
Incompleteness Via Paradox and Completeness.Walter Dean - 2020 - Review of Symbolic Logic 13 (3):541-592.
Epsilon substitution method for theories of jump hierarchies.Toshiyasu Arai - 2002 - Archive for Mathematical Logic 41 (2):123-153.
Proof Theory and Algebra in Logic.Hiroakira Ono - 2019 - Singapore: Springer Singapore.

View all 13 citations / Add more citations

References found in this work

No references found.

Add more references