Basic Proof Theory
This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic formalization. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic, logic programming theory, category theory, modal logic, linear logic, first-order arithmetic and second-order logic. In each case the authors illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. For the new edition, they have rewritten many sections to improve clarity, added new sections on cut elimination, and included solutions to selected exercises. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence.
What people are saying - Write a review
Other editions - View all
JSTOR: Basic Proof Theory
Basic proof theory. Cambridge tracts in theoretical computer science, no.43. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, ...
Review: as Troelstra, H. Schwichtenberg, Basic Proof Theory
as Troelstra, H. Schwichtenberg, Basic Proof Theory. Full-text: Access via JSTOR (no additional login). Go to this article in JSTOR. Links and Identifiers ...
projecteuclid.org/ handle/ euclid.bsl/ 1182353782
ingentaconnect Basic Proof Theory, as Troelstra and H. Schwichtenberg
Basic Proof Theory, as Troelstra and H. Schwichtenberg. Author: Schellinx H.1. Source: Journal of Logic, Language and Information, Volume 7, Number 2, ...
www.ingentaconnect.com/ content/ klu/ jlli/ 1998/ 00000007/ 00000002/ 00142983;jsessionid=10myk3z70x3ad.alice?format=print
Basic Proof Theory, as Troelstra and H. Schwichtenberg
Basic Proof Theory, as Troelstra and H. Schwichtenberg. Full text, Full text available on the Publisher site Publisher Site. Source, Journal of Logic, ...
Basic Proof Theory
0521572231 - Basic Proof Theory - by as Troelstra, H. Schwichtenberg Description More information. Description. This introduction to the basic ideas of ...
assets.cambridge.org/ 052157/ 2231/ description/ 0521572231_description.htm
INDEX OF THE TROELSTRA NACHLASS
Introduction. This index was mainly prepared in 2000 and 2001.1 The archive itself was stored at the Mathematical Institute of the University of Amsterdam, ...
www.illc.uva.nl/ Publications/ ResearchReports/ X-2003-01.text.doc
Zentralblatt MATH Database 1931 – 2008 0868.03024
Basic proof theory. (English). Cambridge Tracts in Theoretical Computer Science. 43. Cambridge: Cambridge Uni-. versity Press. xi, 343 p. ...
zmath.impa.br/ cgi-bin/ zmen/ ZMATH/ en/ quick.html?first=1&
Powell's Books - Cambridge Tracts in Theoretical Computer Science ...
Cambridge Tracts in Theoretical Computer Science #43: Basic Proof Theory ... Cambridge Tracts in Theoretical Computer Science #43: Basic Proof Theory Cover ...
Mathematical Proof Theory in the Light of Ordinal Analysis
2000, Basic Proof Theory, Cambridge [Cambridge ... Wainer, S. and L. Wallen: 1992, ‘Basic Proof Theory’, in P. Aczel, H. Simmons and S. ...
www.springerlink.com/ index/ N077759V5M4UP554.pdf
Annual Report Computational Logic
The main foundational text in this area is Basic Proof Theory . It ... A problem with some of the calculi given in Basic Proof Theory, most ...
www.cs.st-andrews.ac.uk/ ~pc/ LitReview.pdf