Share
Advances in Linear Logic Paperback (London Mathematical Society Lecture Note Series)
Jean-Yves Girard
(Illustrated by)
·
Yves LaFont
(Illustrated by)
·
Laurent Regnier
(Illustrated by)
·
Cambridge University Press
· Paperback
Advances in Linear Logic Paperback (London Mathematical Society Lecture Note Series) - Girard, Jean-Yves ; LaFont, Yves ; Regnier, Laurent
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
Monday, July 29 and
Monday, August 05.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "Advances in Linear Logic Paperback (London Mathematical Society Lecture Note Series)"
This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry of interaction. The book includes a general introduction to linear logic that will ensure this book's use by the novice as well as the expert. Mathematicians and computer scientists will learn much from this book.
- 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 Paperback.
✓ Producto agregado correctamente al carro, Ir a Pagar.