Samuel R. Buss. Bounded arithmetic. Studies in proof theory. Lecture notes, no. 3. Bibliopolis, Naples1986, v + 221 pp [Book Review]

Journal of Symbolic Logic 56 (2):759-760 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274725

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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

Samuel R. Buss. First-order proof theory of arithmetic. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 79–147. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):465-466.
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.
Jan Krajíček, Pavel Pudlák, and Gaisi Takeuti. Bounded arithmetic and the polynomial hierarchy. Ibid., vol. 52 , pp. 143–153. - Samuel R. Buss. Relating the bounded arithmetic and polynomial time hierarchies. Ibid., vol. 75 , pp. 67–77. - Domenico Zambella. Notes on polynomially bounded arithmetic. The journal of symbolic logic, vol. 61 , pp. 942–966. [REVIEW]Stephen Cook - 1999 - Journal of Symbolic Logic 64 (4):1821-1823.
Review: Jan Krajicek, Pavel Pudlak, Gaisi Takeuti, Bounded Arithmetic and the Polynomial Hierarchy; Samuel R. Buss, Relating the Bounded Arithmetic and Polynomial Time Hierarchies; Domenico Zambella, Notes on Polynomially Bounded Arithmetic. [REVIEW]Stephen Cook - 1999 - Journal of Symbolic Logic 64 (4):1821-1823.
Review: Samuel R. Buss, Bounded Arithmetic. [REVIEW]A. J. Wilkie - 1991 - Journal of Symbolic Logic 56 (2):759-760.
Review: Samuel R. Buss, Handbook of Proof Theory: First-Order Proof Theory of Arithmetic. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):465-466.
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.
Review: Samuel R. Buss, Handbook of Proof Theory: An Introduction to Proof Theory. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):464-465.
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.
Review: Samuel R. Buss, Handbook of Proof Theory: Preface. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):463-464.

Analytics

Added to PP
2016-06-30

Downloads
17 (#867,977)

6 months
3 (#1,206,820)

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