P. G. Odifreddi. Classical recursion theory. Volume II. Studies in logic and the foundations of mathematics, vol. 143. Elsevier, Amsterdam etc. 1999, xvi + 949 pp [Book Review]

Bulletin of Symbolic Logic 7 (1):71-73 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2687828

Links

PhilArchive



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

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

Jacobs Bart. Categorical logic and type theory. Studies in logic and the foundations of mathematics, vol. 141. Elsevier, Amsterdam etc. 1999, xvii + 760 pp. [REVIEW]R. A. G. Seely - 2000 - Bulletin of Symbolic Logic 6 (2):225-229.
REVIEWS-Classical recursion theory, Volume II.P. Odifreddi & Peter G. Hinman - 2001 - Bulletin of Symbolic Logic 7 (1):71-72.
Marcus Kracht. Tools and techniques in modal logic. Studies in logic and the foundations of mathematics, vol. 142. Elsevier, Amsterdam etc. 1999, xiii + 559 pp. [REVIEW]Guram Bezhanishvili - 2001 - Bulletin of Symbolic Logic 7 (2):278-279.
Fitting Melvin. Fundamentals of generalized recursion theory. Studies in logic and the foundations of mathematics, vol. 105. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, xx + 307 pp. [REVIEW]Peter G. Hinman - 1986 - Journal of Symbolic Logic 51 (4):1078-1079.
Montague R.. Recursion theory as a branch of model theory. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by van Rootselaar B. and Staal J. F., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 63–86. [REVIEW]Carl E. Gordon - 1973 - Journal of Symbolic Logic 38 (1):158-159.
D. M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-dimensional modal logics: theory and applications. Studies in Logic and the Foundations of Mathematics, vol. 148. Elsevier, Amsterdam, xiv + 747 pp. [REVIEW]Mark Reynolds - 2005 - Bulletin of Symbolic Logic 11 (1):77-79.
Review: Piergiorgio Odifreddi, Classical Recursion Theory. The Theory of Functions and Sets of Natural Numbers. [REVIEW]Peter G. Hinman - 1990 - Journal of Symbolic Logic 55 (3):1307-1308.
Jaap van Oosten. Realizability: an introduction to its categorical side. Studies in Logic and the Foundations of Mathematics, vol. 152. Elsevier Science, Amsterdam, 2008, 328 pp. [REVIEW]Peter T. Johnstone - 2010 - Bulletin of Symbolic Logic 16 (3):407-409.
Ash C. J. and Knight J.. Computable structures and the hyperarithmetical hierarchy. Studies in logic and the foundations of mathematics, vol. 144. Elsevier, Amsterdam etc. 2000, xv + 346 pp. [REVIEW]Valentina Harizanov - 2001 - Bulletin of Symbolic Logic 7 (3):383-385.
Fitch Frederic B.. Quasi-constructive foundations for mathematics. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 26–36. [REVIEW]Bruce Lercher - 1972 - Journal of Symbolic Logic 37 (2):402-402.
Cantini Andrea. Logical frameworks for truth and abstraction. An axiomatic study. Studies in logic and the foundations of mathematics, vol. 135. Elsevier, Amsterdam etc. 1996, xii + 461 pp. [REVIEW]Thomas Strahm - 1998 - Journal of Symbolic Logic 63 (1):328-329.
Rasiowa Helena. An algebraic approach to non-classical logics. Studies in logic and the foundations of mathematics, vol. 78. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, xv + 403 pp. [REVIEW]Anne Preller - 1977 - Journal of Symbolic Logic 42 (3):432-432.
Classical Recursion Theory.Peter G. Hinman - 2001 - Bulletin of Symbolic Logic 7 (1):71-73.
Reviews. Alfred Tarski. Preface. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. VIII–IX. Alfred Tarski. A general method in proofs of undecidability. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 3–35. Andrzej Mostowski, Raphael M. Robinson, and Alfred Tarski. Undecidability and essential undecidability in arithmetic. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 39–74. Alfred Tarski. Undecidability of the elementary theory of groups. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 77–87. Bibliography. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 89–91. Index. Undecidable theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.
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.

Analytics

Added to PP
2019-05-08

Downloads
13 (#978,482)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references