Programming Books C Java PHP Python Learn more Browse Programming Books
Buy New
  • List Price: $165.00
  • Save: $20.70 (13%)
Usually ships within 1 to 3 weeks.
Ships from and sold by
Gift-wrap available.
Trade in your item
Get a $2.00
Gift Card.
Have one to sell? Sell on Amazon
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See this image

Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 Hardcover – April 30, 1993

ISBN-13: 978-0521414135 ISBN-10: 052141413X

Buy New
Price: $144.30
15 New from $69.50 14 Used from $22.63
Amazon Price New from Used from
"Please retry"
$69.50 $22.63


Shop the new
New! Introducing the, a hub for Software Developers and Architects, Networking Administrators, TPMs, and other technology professionals to find highly-rated and highly-relevant career resources. Shop books on programming and big data, or read this week's blog posts by authors and thought-leaders in the tech industry. > Shop now

Product Details

Editorial Reviews

Book Description

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

Customer Reviews

There are no customer reviews yet.
5 star
4 star
3 star
2 star
1 star
Share your thoughts with other customers