Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)

Description

Publisher: Cambridge University Press
Language: English
ISBN: 0521572231
Paperback: 355 pages
Data: September 13, 1996
Format: PDF
Description: This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. 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. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.

Download - (25 Mb)

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Download links for "Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)":


How to Download
You may need eMule or Bittorrent to download ebook torrents or emule links.

Report Dead Link
Please leave a comment to report dead links, so that someone else may update new links.

1. Ebooks list page : 1562
2. Modal Logic (Cambridge Tracts in Theoretical Computer Science)
3. Computational Geometry in C (Cambridge Tracts in Theoretical Computer Science)
4. Computational Geometry in C (Cambridge Tracts in Theoretical Computer Science)
5. Computational Geometry in C (Cambridge Tracts in Theoretical Computer Science)
6. Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)
7. Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science)
8. Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)
9. Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)
10. Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science) { Repost }
11. Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
12. Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
13. Fixed Point Theory and Applications (Cambridge Tracts in Mathematics)
14. Algebraic L-theory and Topological Manifolds (Cambridge Tracts in Mathematics): A. A. Ranicki
15. The Riemann Approach to Integration: Local Geometric Theory (Cambridge Tracts in Mathematics)
16. Basic Proof Theory