Share
Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme 1990
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 - Aczel, Peter ; Simmons, Harold ; Wainer, Stanley S.
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My Wishlists
Origin: U.S.A.
(Import costs included in the price)
It will be shipped from our warehouse between
Tuesday, June 25 and
Thursday, July 11.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme 1990"
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.