Home
Advances In Linear Logic by Jean-Yves Girard, Paperback | Indigo Chapters
Coles
Advances In Linear Logic by Jean-Yves Girard, Paperback | Indigo Chapters
From Jean-Yves Girard
Current price: $88.95
Loading Inventory...
Size: 1 x 1 x 1
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Coles
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. | Advances In Linear Logic by Jean-Yves Girard, Paperback | Indigo Chapters
You May Also Like
More About Coles at Pine Centre
Shop Coles for bestselling books, toys, stationary, and so much more!
3079 Massey Dr, Prince George, BC V2N 1R4, Canada
