Free shipping on all orders over $79* Limited Time Only
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79
Basic Proof Theory : Cambridge Tracts in Theoretical Computer Science, 43 - No Information Available

Basic Proof Theory

By: No Information Available

Paperback | 15 September 2000 | Edition Number 2

At a Glance

Paperback

RRP $93.95

$84.75

10%OFF

or 4 interest-free payments of $21.19 with

 or 

Ships in 5 to 7 business days

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.
Industry Reviews
'This is a fine book. Any computer scientist with some logical background will benefit from studying it. It is written by two of the experts in the field and comes up to their usual standards of precision and care.' Ray Turner, Computer Journal

You Can Find This Book In

Non-FictionMathematicsMathematical FoundationMathematical LogicComputing & I.T.Computer ScienceMathematical Theory of ComputationComputer Architecture & Logic DesignMedicineMedicine in GeneralArtificial IntelligenceInformation Technology General Issue

More in Mathematical Theory of Computation

Unveiling the Art of Steganography : A Modern Approach - Manoj Kumar

Unveiling the Art of Steganography

A Modern Approach

Hardcover

RRP $231.00

$202.75

12%
OFF
AI Value Creators : Beyond the Generative AI User Mindset - Dario Gil

AI Value Creators

Beyond the Generative AI User Mindset

Paperback

RRP $152.00

$73.75

51%
OFF

This product is categorised by