Handbook of Mathematical Logic

British Journal for the Philosophy of Science 30 (3):306-309 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



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

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

Handbook of mathematical logic.Jon Barwise (ed.) - 1977 - New York: North-Holland.
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.
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.
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.
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
2017-02-20

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?

Citations of this work

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.
Hilbert's philosophy of mathematics.Marcus Giaquinto - 1983 - British Journal for the Philosophy of Science 34 (2):119-132.

View all 27 citations / Add more citations

References found in this work

No references found.

Add more references