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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,317

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

Piergiorgio Odifreddi. Classical recursion theory. The theory of functions and sets of natural numbers. Studies in logic and the foundations of mathematics, vol. 125. North-Holland, Amsterdam etc. 1989, xvii + 668 pp. [REVIEW]Peter G. Hinman - 1990 - Journal of Symbolic Logic 55 (3):1307-1308.
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.
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.
Samuel R. Buss. An introduction to proof theory. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, p. v., pp. 1–78. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):464-465.
Sam Buss. Preface. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, p. v. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):463-464.
A. S. Troelstra. Realizability. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 407–473. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):470-471.
Robert L. Constable. Types in logic, mathematics and programming. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 683–786. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):476-477.
Pavel Pudlák. The lengths of proofs. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 547–637. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):473-475.
Giorgi Japaridze and Dick de Jongh. The logic of provability. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 475–546. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):472-473.
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.

Analytics

Added to PP
2013-11-03

Downloads
51 (#421,935)

6 months
10 (#381,237)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The ∀∃ theory of peano σ1 sentences.Per Lindström & V. Yu Shavrukov - 2008 - Journal of Mathematical Logic 8 (2):251-280.

Add more citations

References found in this work

No references found.

Add more references