Proof Theory

Name: Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990
Brand: Cambridge University Press
SKU: 9780521414135
Price: 5297.00 INR
Availability: InStock

A Selection of Papers from the Leeds Proof Theory Programme 1990

by Harold Simmons, Stanley S. Wainer, Peter Aczel

Cambridge University Press

₹5,297

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.

Description supplied by the publisher.