LIBRISTO
LIBROAMANTO
mandatory
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
DPD courier 4.99 GLS courier 11.49

Proof Theory

A selection of papers from the Leeds Proof Theory Programme 1990

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

30-day return policy


Customers also purchased


Christus vor dem Hohen Rat Judith Becker / Book Hardback
common.buy 49.00
Top
Guns N'Roses collegium / Book Paperback
common.buy 7.18
Vollkommene Meditation Claudia Callies / Book Hardback
common.buy 19.13
Dobry lęk Wendy Suzuki / Book Paperback
common.buy 13.36
Anarchia, stato e utopia Robert Nozick / Book Paperback
common.buy 30.17
Solární baroni Vrazi v taláru Alena Vitásková / Book Hardback
common.buy 10.72
Kita aktiv "Projektmappe Schmetterlinge" Nicole Weigand / Book Sheet
common.buy 20.34
Quartiersforschung Olaf Schnur / Book Paperback
common.buy 73.81
Aufgaben-Handbuch, Deutsch als Fremdsprache Ulrich Häussermann / Book Paperback
common.buy 23.79
Logistiknetzwerke Richard Vahrenkamp / Book Paperback
common.buy 41.00

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
Language English
Binding Book - Hardback
Date of issue 1993
Number of pages 320
EAN 9780521414135
ISBN 052141413X
Libristo code 02030059
Weight 602
Dimensions 152 x 229 x 22
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


Mobile Application Penetration Testing Vijay Kumar Velu / Book Paperback
common.buy 56.29
Zelenooka Inna Moore / Book Paperback
common.buy 15.69
Wonderful World of Friends Darrell A Roberts / Book Paperback
common.buy 15.58
Who Wins-Loses. [A Novel.] Sophia Mary Locke / Book Paperback
common.buy 25.20
Chitosan Samuel P Davis / Book Hardback
common.buy 356.33
Ancestors for the Pigs Sarah M Nelson / Book Hardback
common.buy 46.67
Incarnation and Imagination Darby Kathleen Ray / Book Paperback
common.buy 25.51
Persephone Made Me Do It: Volume 3 MATEER TRISTA / Book Paperback
common.buy 13.56
Integrated Regional Risk Assessment Adrian V. Gheorghe / Book Book
common.buy 226.01
Anxiety, depression and heart surgery Débora D`Agostini Jorge Lisboa / Book Paperback
common.buy 51.53
Animal Spirits with Chinese Characteristics Mark A DeWeaver / Book Hardback
common.buy 114.62

Login

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

 
mandatory
mandatory

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?