Basic Proof Theory

— —

A. S. Troelstra (Universiteit van Amsterdam) H. Schwichtenberg (Universität Munchen)

Basic Proof Theory

A. S. Troelstra (Universiteit van Amsterdam), H. Schwichtenberg (Universität Munchen), C. J. Van Rijsbergen , S. Abramsky

$82.95

Paperback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Cambridge University Press
15 September 2000

Mathematics & Sciences; Mathematical logic; Mathematical theory of computation

Series: Cambridge Tracts in Theoretical Computer Science

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.

By: A. S. Troelstra (Universiteit van Amsterdam), H. Schwichtenberg (Universität Munchen)
Series edited by: C. J. Van Rijsbergen, S. Abramsky, P. H. Aczel
Imprint: Cambridge University Press
Country of Publication: United Kingdom
Edition: 2nd Revised edition
Volume: 43
Dimensions: Height: 227mm, Width: 154mm, Spine: 23mm
Weight: 595g
ISBN: 9780521779111
ISBN 10: 0521779111
Series: Cambridge Tracts in Theoretical Computer Science
Pages: 432
Publication Date: 15 September 2000
Audience: Professional and scholarly , Undergraduate
Format: Paperback
Publisher's Status: Active

Reviews for Basic Proof Theory

'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