Pym David J. and Ritter Eike. Reductive logic and proof-search—Proof theory, semantics, and control. Oxford Logic Guides, vol. 45. Oxford Science Publications, 2004, 208 pp [Book Review]

Bulletin of Symbolic Logic 12 (2):302-304 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1079898600002778

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

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

Reductive Logic And Proof-search—proof Theory, Semantics, And Control. [REVIEW]Didier Galmiche - 2006 - Bulletin of Symbolic Logic 12 (2):302-303.
Interpolation and Definability: Modal and Intuitionistic Logics.Dov M. Gabbay & Larisa Maksimova - 2005 - Oxford, England: Oxford University Press UK.
Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym - 2004 - New York: Oxford University Press. Edited by Eike Ritter.
Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym & Eike Ritter - 2004 - New York: Oxford University Press. Edited by Eike Ritter.
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control.David J. Pym & Eike Ritter - 2004 - Oxford, England: Oxford University Press UK. Edited by Eike Ritter.
N. Francez, Proof-theoretic semantics, Studies in Logic, vol. 57, College Publications, London, 2015, xx + 415 pp. [REVIEW]Davide Catta - 2019 - Bulletin of Symbolic Logic 25 (3):360-362.
Arithmetic, proof theory, and computational complexity, edited by Peter Clote and Krajíček Jan, Oxford logic guides, no. 23, Clarendon Press, Oxford University Press, Oxford and New York1993, xiii + 428 pp. [REVIEW]Fernando Ferreira - 1995 - Journal of Symbolic Logic 60 (3):1014-1017.
André Nies. Computability and randomness. Oxford Logic Guides, vol. 51. Oxford University Press, Oxford, 2009, xv + 433 pp. [REVIEW]Anthony Morphett - 2010 - Bulletin of Symbolic Logic 16 (1):85-87.
Wolfram Pohlers. Pure proof theory. Aims, methods and results. The bulletin of symbolic logic, vol. 2 , pp. 159–188.G. Mints - 1998 - Journal of Symbolic Logic 63 (3):1185.
Byunghan Kim. Simplicity Theory. Oxford Logic Guides, 53. Oxford University Press, Oxford, 2014, x+224 pp. [REVIEW]Martin Hils - 2016 - Bulletin of Symbolic Logic 22 (2):291-293.

Analytics

Added to PP
2014-03-18

Downloads
19 (#824,557)

6 months
4 (#863,447)

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