BooksCloudSKU: 9780521559614
Advances in Linear Logic - Paperback
$132.46
/
Shipping calculated at checkout.
In stock (50)
$132.46
Advances in Linear Logic - Paperback
$132.46
/
Advances in Linear Logic - Paperback
$132.46
/
products.product.pickup_availability.unavailable
Still deciding?
Payment & Security
Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.
Security
Related categories
High-Quality MaterialsMade with premium materials for long-lasting use.
Easy to UseSimple design for quick setup and convenience.
Versatile & Multi-PurposePerfect for home, office, or on-the-go.
Satisfaction GuaranteeLove it or return it for a full refund.
by Jean-Yves Girard (Editor), Yves LaFont (Editor), Laurent Regnier (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
Free shipping on all U.S. orders
Easy returns and exchanges
30 day money back guarantee
