Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Proof Theory

A selection of papers from the Leeds Proof Theory Programme 1990

Language EnglishEnglish
Book Paperback
Book Proof Theory Peter AczelHarold SimmonsStanley S. Wainer
Libristo code: 02020080
Publishers Cambridge University Press, January 2008
The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conferen... Full description
? points 131 b
53.95 €
In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Español entre amigos 4, nivel A2 SANTAMARIA ANGEL / Book Book
common.buy 22.63 €
Teuflische Statements / Book Hardback
common.buy 11.81 €
Le grand combat du XV de France Lalanne / Book Paperback
common.buy 13.73 €
Sonnenblicke vom lateinischen Amerika Carl Beck / Book Paperback
common.buy 26.77 €
Sandokan e le Tigri di Mompracem di Emilio Salgari Silvano Mezzavilla / Book Hardback
common.buy 9.69 €
Renforcer les competences au Cameroun Shobhana Sosale / E-book Adobe ePub DRM
common.buy 23.84 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Proof Theory
Author Peter AczelHarold SimmonsStanley S. Wainer
Language English
Binding Book - Paperback
Date of issue 2008
Number of pages 320
EAN 9780521054164
ISBN 0521054168
Libristo code 02020080
Publishers Cambridge University Press
Weight 484
Dimensions 151 x 228 x 18

Categories

Mathematics & Science > Mathematics > Mathematical foundations
Computing & Information Technology > Computer science > Mathematical theory of computation
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Proof Theory Vincent F. Hendricks / Book Paperback
common.buy 102.86 €
Top
Form of Perfect Living and Other Prose Treatises Richard / Book Paperback
common.buy 8.98 €
Enchanted Season Nalini Singh / E-book Adobe ePub DRM
common.buy 9.89 €
Introduction to Proof Theory Mancosu / Book Paperback
common.buy 37.48 €
Toys Through the Ages: Dan Foley's Story of Playthings Filled with History, Folklore, Romance and Nostalgia Dan Foley / Book Paperback
common.buy 22.12 €
The Franklin-Nashville Campaign: The History of the Civil War Campaign that Destroyed the Confederate Army of Tennessee Charles River Editors / Book Paperback
common.buy 14.24 €
Greatest Showman Benj Pasek / Book Book
common.buy 20.81 €
2103 Jamie Greene / Book Paperback
common.buy 11.21 €
Top
The Illustrated Gormenghast Trilogy Mervyn Peake / Book Hardback
common.buy 37.78 €
To Live Without Warning Timothy LaBadie / Book Hardback
common.buy 29.19 €
Queen Elizabeth Edward Spencer Beesly / Book Paperback
common.buy 25.56 €
Rebellion Phil Cantrill / Book Hardback
common.buy 37.28 €
Food Swap Diet Peta Bee / Book Paperback
common.buy 15.96 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account