Share
Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme 1990 (in English)
Peter Aczel
(Illustrated by)
·
Harold Simmons
(Illustrated by)
·
Stanley S. Wainer
(Illustrated by)
·
Cambridge University Press
· Hardcover
Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme 1990 (in English) - Aczel, Peter ; Simmons, Harold ; Wainer, Stanley S.
$ 125.26
$ 140.00
You save: $ 14.74
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My WishlistsIt will be shipped from our warehouse between
Tuesday, June 11 and
Wednesday, June 12.
You will receive it anywhere in United States between 1 and 3 business days after shipment.
Synopsis "Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme 1990 (in English)"
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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Hardcover.
✓ Producto agregado correctamente al carro, Ir a Pagar.