Advances in Linear Logic - Paperback
$131.58
by Jean-Yves Girard (Author), Yves LaFont (Editor), Jean-Yves Girard (Editor)
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.
Number of Pages: 400
Dimensions: 0.88 x 8.99 x 6.13 IN
Publication Date: June 22, 1995
Estimated delivery: June 23 - June 26, 2026
Secure Checkout
Free Returns
Proudly USA Based
Accepted Payment Methods