Handbook of mathematical logic, edited by Barwise Jon with the cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , xi + 1165 pp [Book Review]

Journal of Symbolic Logic 49 (3):971-975 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274153

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,130

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

Handbook of mathematical logic, edited by Barwise Jon with the cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , xi + 1165 pp. [REVIEW]Daniel Lascar - 1984 - Journal of Symbolic Logic 49 (3):968-971.
Handbook of mathematical logic, edited by Barwise Jon with the cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , xi + 1165 pp. [REVIEW]Sy D. Friedman - 1984 - Journal of Symbolic Logic 49 (3):975-980.
Handbook of mathematical logic, edited by Barwise Jon with the cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , xi + 1165 pp.Smoryński C.. D.1. The incompleteness theorems. Pp. 821–865.Schwichtenberg Helmut. D.2. Proof theory: some applications of cut-elimination. Pp. 867–895.Statman Richard. D.3. Herbrand's theorem and Gentzen's notion of a direct proof. Pp. 897–912.Feferman Solomon. D.4. Theories of finite type related to mathematical practice. Pp. 913–971.Troelstra A. S.. D.5. Aspects of constructive mathematics. Pp. 973–1052.Fourman Michael P.. D.6. The logic of topoi. Pp. 1053–1090.Barendregt Henk P.. D.1. The type free lambda calculus. Pp. 1091–1132.Paris Jeff and Harrington Leo. D.8. A mathematical incompleteness in Peano arithmetic. Pp. 1133–1142. [REVIEW]W. A. Howard - 1984 - Journal of Symbolic Logic 49 (3):980-988.
Peter Aczel. Frege structures and the notions of proposition, truth and set. The Kleene Symposium, Proceedings of the symposium held June 18–24, 1978 at Madison, Wisconsin, U.S.A., edited by Jon Barwise, H. Jerome Keisler, and Kenneth Kunen, Studies in logic and the foundations of mathematics, vol. 101, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, pp. 31–59. [REVIEW]William S. Hatcher - 1986 - Journal of Symbolic Logic 51 (1):244-246.
Yiannis N. Moschovakis. Descriptive set theory. Studies in logic and the foundations of mathematics, vol. 100. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, xii + 637 pp. [REVIEW]Richard Mansfield - 1981 - Journal of Symbolic Logic 46 (4):874-876.
Chang C. C. and Keisler H. J.. Model theory. Studies in logic and the foundations of mathematics, vol. 73, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1973, xii + 550 pp. [REVIEW]Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
Kunen Kenneth. Set theory. An introduction to independence proofs. Studies in logic and the foundations of mathematics, vol. 102. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, xvi + 313 pp. [REVIEW]James E. Baumgartner - 1986 - Journal of Symbolic Logic 51 (2):462-464.
Yiannis N. Moschovakis. Elementary induction on abstract structures. Studies in logic and the foundations of mathematics, vol. 77. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, x + 218 pp. [REVIEW]Wayne Richter - 1979 - Journal of Symbolic Logic 44 (1):124-125.
Shelah S.. Classification theory and the number of nonisomorphic models. Studies in logic and the foundations of mathematics, vol. 92. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, xvi + 544 pp. [REVIEW]Victor Harnik - 1982 - Journal of Symbolic Logic 47 (3):694-696.
Szabo M. E.. Algebra of proofs. Studies in logic and the foundations of mathematics, vol. 88. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, xii + 297 pp. [REVIEW]G. E. Minc - 1982 - Journal of Symbolic Logic 47 (4):904-907.

Analytics

Added to PP
2013-11-02

Downloads
83 (#251,786)

6 months
10 (#399,629)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Akihiro Kanamori
Boston University

Citations of this work

A type reduction from proof-conditional to dynamic semantics.Tim Fernando - 2001 - Journal of Philosophical Logic 30 (2):121-153.

Add more citations

References found in this work

No references found.

Add more references