Nicholas Pippenger, Theories of computability. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, ix + 251 pp [Book Review]

Journal of Symbolic Logic 64 (2):913-914 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2586515

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

Hindley J. Roger. Basic simple type theory. Cambridge tracts in theoretical computer science, no. 42. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, xi + 186 pp. [REVIEW]Anton Setzer - 1999 - Journal of Symbolic Logic 64 (4):1832-1833.
Jon Barwise and Jerry Seligman. Information flow. The logic of distributed systems. Cambridge tracts in theoretical computer science, no. 44. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, xv + 274 pp. [REVIEW]Maarten De Rijke - 1999 - Journal of Symbolic Logic 64 (4):1836-1836.
A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Cambridge tracts in theoretical computer science, no. 43. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, xi + 343 pp. [REVIEW]Roy Dyckhoff - 1998 - Journal of Symbolic Logic 63 (4):1605-1606.
Shin Sun-Joo. The logical status of diagrams. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995 , xi + 197 pp. [REVIEW]Eric M. Hammer - 1996 - Journal of Symbolic Logic 61 (1):341-342.
Manzano María. Extensions of first order logic. Cambridge tracts in theoretical computer science, no. 19. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, xxii + 388 pp. [REVIEW]Yde Venema - 1998 - Journal of Symbolic Logic 63 (3):1194-1196.
Azzouni Jody. Metaphysical myths, mathematical practice. The ontology and epistemology of the exact sciences. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1994, ix + 249 pp. [REVIEW]Mark Balaguer - 1995 - Journal of Symbolic Logic 60 (4):1312-1314.
Isaac Levi. For the sake of the argument. Ramsey test conditionals, inductive inference, and nonmonotonic reasoning. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, xv + 341 pp. [REVIEW]R. D. Rosenkrantz - 1997 - Journal of Symbolic Logic 62 (3):1041-1043.
Lou van den Dries. Tame topology and o-minimal structures. London Mathematical Society lecture note series, no. 248. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1998, x + 180 pp. [REVIEW]Alessandro Berarducci - 2000 - Bulletin of Symbolic Logic 6 (2):216-218.
Krajíček Jan. Bounded arithmetic, propositional logic, and complexity theory. Encyclopedia of mathematics and its applications, vol. 60. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995, xiv + 343 pp. [REVIEW]P. Clote - 1999 - Journal of Symbolic Logic 64 (3):1357-1362.
J.-J. Ch. Meyer and W. Van Der Hoek. Epistemic logic for AI and computer science. Cambridge tracts in theoretical computer science, no. 41. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995, xiii + 354 pp. [REVIEW]Rineke Verbrugoe - 1999 - Journal of Symbolic Logic 64 (4):1837-1840.
Probability and conditionals, Belief revision and rational decision, edited by Eells Ellery and Skyrms Brian, Cambridge studies in probability, induction, and decision theory, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1994, viii+ 207 pp. [REVIEW]Robert C. Koons - 1997 - Journal of Symbolic Logic 62 (1):330-335.
Aquinas's philosophical theology.A. Broadie - 1999 - British Journal for the History of Philosophy 7 (2):353 – 358.
Review: Nicholas Pippenger, Theories of Computability. [REVIEW]Hans Huttel - 1999 - Journal of Symbolic Logic 64 (2):913-914.
Robert Pasnau, theories of cognition in the later middle ages. (Cambridge and new York: Cambridge university press, 1997.) Pp. X+330. £35.00 hbk. [REVIEW]S. F. - 1998 - Religious Studies 34 (4):509-512.
Carl Wolfgang. Frege's theory of sense and reference. Its origins and scope. Modern European philosophy. Cambridge University Press, Cambridge, Neuyork, und Oakleigh, Victoria, 1994, viii + 220 S. [REVIEW]Gottfried Gabriel - 1996 - Journal of Symbolic Logic 61 (2):689-691.

Analytics

Added to PP
2014-03-28

Downloads
22 (#669,532)

6 months
1 (#1,459,555)

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