Handbook of mathematical logic

(ed.)
New York: North-Holland (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.H32

ISBN(s)

072042285X

DOI

10.2307/2274155

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,388

External links

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

Through your library

My notes

Chapters

First-order logic.Jon Barwise
Gödel's incompleteness theorems.  (pages 27)C. A. Smorynski
A mathematical incompleteness in Peano arithmetic.  (pages 90--1133)Jeff Paris & Leo Harrington
About the axiom of choice.  (pages 90--345)Thomas J. Jech
Axioms of set theory.  (pages 90)Joseph R. Shoenfield
Doctrines in categorical logic.  (pages 90)Anders Kock & Gonzalo E. Reyes
The incompleteness theorems.  (pages 821 -- 865)Craig Smorynski
The incompleteness theorems.  (pages 822--865)Smoryński Craig
Aspects of constructive mathematics.  (pages 973–1052)Anne S. Troelstra
Proof theory and constructive mathematics.  (pages 973--1052)Anne S. Troelstra
Typed lambda calculus.  (pages 1091--1132)Henk P. Barendregt, Wil Dekkers & Richard Statman

Similar books and articles

Handbook of Mathematical Logic.Jon Barwise - 1979 - British Journal for the Philosophy of Science 30 (3):306-309.
BARWISE, J., "Handbook of Mathematical Logic". [REVIEW]J. N. Crossley - 1980 - Australasian Journal of Philosophy 58:178.
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]Akihiro Kanamori - 1984 - Journal of Symbolic Logic 49 (3):971-975.
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.
First-order logic.Jon Barwise - 1977 - In Handbook of mathematical logic. New York: North-Holland.
Doctrines in categorical logic.Anders Kock & Gonzalo E. Reyes - 1977 - In Jon Barwise, Handbook of mathematical logic. New York: North-Holland. pp. 90.
A mathematical incompleteness in Peano arithmetic.Jeff Paris & Leo Harrington - 1977 - In Jon Barwise, Handbook of mathematical logic. New York: North-Holland. pp. 90--1133.
The incompleteness theorems.Smoryński Craig - 1977 - In Jon Barwise, Handbook of mathematical logic. New York: North-Holland. pp. 822--865.
Typed lambda calculus.Henk P. Barendregt, Wil Dekkers & Richard Statman - 1977 - In Jon Barwise, Handbook of mathematical logic. New York: North-Holland. pp. 1091--1132.

Analytics

Added to PP
2009-01-28

Downloads
164 (#145,904)

6 months
13 (#197,488)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Transfinite Cardinals in Paraconsistent Set Theory.Zach Weber - 2012 - Review of Symbolic Logic 5 (2):269-293.
Definedness.Solomon Feferman - 1995 - Erkenntnis 43 (3):295 - 320.
Scientific Theories, Models and the Semantic Approach.Otávio Bueno & Décio Krause - 2007 - Principia: An International Journal of Epistemology 11 (2):187-201.
Classical genetics and the theory-net of genetics.Pablo Lorenzano - 2000 - In Joseph D. Sneed, Wolfgang Balzer & C.-U. Moulines, Structuralist Knowledge Representation: Paradigmatic Examples. Rodopi. pp. 75-251.
Logic of transition systems.Johan Van Benthem & Jan Bergstra - 1994 - Journal of Logic, Language and Information 3 (4):247-283.

View all 35 citations / Add more citations

References found in this work

No references found.

Add more references