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 [Book Review]

Journal of Symbolic Logic 63 (4):1605-1606 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2586674

Links

PhilArchive



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

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.
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.
Simmons Harold. Derivation and computation. Taking the Curry-Howard correspondence seriously. Cambridge tracts in theoretical computer science, vol. 51. Cambridge University Press, Cambridge, New York, etc., 2000, xxv + 384 pp. [REVIEW]Norman Danner - 2001 - Bulletin of Symbolic Logic 7 (3):380-383.
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.
Ramsay Allan. Formal methods in artificial intelligence. Cambridge tracts in theoretical computer science, no. 6. Cambridge University Press, Cambridge etc. 1988, ix + 279 pp. [REVIEW]Francis Jeffry Pelletier - 1996 - Journal of Symbolic Logic 61 (1):347-351.
Brewka Gerhard. Nonmonotonic reasoning: logical foundations of commonsense. Cambridge tracts in theoretical computer science, no. 12. Cambridge University Press, Cambridge etc. 1991, xiii + 168 pp. [REVIEW]Heinrich Herre - 1993 - Journal of Symbolic Logic 58 (3):1079-1080.
Gamut LTF (pseudonym). Logica, taal en betekenis. Volume I. Inleiding in de logica. Dutch original of volume I of the preceding. Het Spectrum, De Meern 1982, 351 pp. Gamut LTF (pseudonym). Logica, taal en betekenis. Volume II. Intensionele logica en logische grammatica. Dutch original of volume II of the preceding. Het Spectrum, De Meern 1982, 422 pp. Paris JB The uncertain reasoner's companion. A mathematical perspective. Cambridge tracts in theoretical computer science, no. 39. Cambridge University .. [REVIEW]Henry E. Kyburg - 1996 - Journal of Symbolic Logic 61 (1):346-347.
Essay Review.Howard H. Harriott - 1996 - History and Philosophy of Logic 17 (1-2):223-240.
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.
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.
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.
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.
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.
The civil war and its aftermath.Tim Harris - 1996 - The European Legacy 1 (8):2284-2289.
Bundy Alan, Basin David, Hutter Dieter and Ireland Andrew. Rippling: meta-level guidance for mathematical reasoning. Cambridge Tracts in Theoretical Computer Science, vol. 56. Cambridge University Press, 2005, xiv+ 202 pp. [REVIEW]Joe Hurd - 2006 - Bulletin of Symbolic Logic 12 (3):498-499.

Analytics

Added to PP
2016-06-30

Downloads
29 (#538,668)

6 months
3 (#1,002,413)

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