Proof Theory by Peter Aczel
Look inside with Google Book Preview
Proof Theory
By Peter Aczel

Proof Theory

A Selection of Papers from the Leeds Proof Theory Programme 1990

Edited by See other recent books by Peter Aczel See other recent books by Harold Simmons See other recent books by Stanley S. Wainer
Format: Paperback

Normal Price: $65.95
Your Price: $59.36 AUD, inc. GST
Shipping: $7.95 per order
You Save: $6.59! (10% off normal price)
Plus...earn $2.97 in Boomerang Bucks
Availability: Available Available to Backorder, No Due Date for Supply, Not for Xmas



Proof Theory by Peter Aczel

Book Description

The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.

Buy Proof Theory book by Peter Aczel from Australia's Online Bookstore, Boomerang Books.


Book Details

ISBN: 9780521054164
ISBN-10: 0521054168
Format: Paperback
(228mm x 152mm x 18mm)
Pages: 320
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 21-Jan-2008
Country of Publication: United Kingdom

Other Editions...


Books By Author Peter Aczel

Proof Theory by Peter Aczel Proof Theory, Hardback (February 1993)

A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.

» View all books by Peter Aczel

Reviews

» Have you read this book? We'd like to know what you think about it - write a review about Proof Theory book by Peter Aczel and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)

Write a book review


Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by Peter Aczel close
Proof Theory by Peter Aczel
Non-well-founded Sets by Peter Aczel
»
Recent books by Harold Simmons close
Introduction to Category Theory by Harold Simmons
Introduction to Category Theory by Harold Simmons
Proof Theory by Harold Simmons
Proof Theory by Harold Simmons
»
Recent books by Stanley S. Wainer close
Proofs and Computations by Stanley S. Wainer
Proof Theory by Stanley S. Wainer
Proof Theory by Stanley S. Wainer
»
BoomerangBooks.com.au close