Linear Logic In Computer Science
Item Details
Condition:
New
Seller:
Rating:
(1,195) 80%
Ships From:
Multiple Locations
Shipping:
Standard, Expedited
Comments:
Brand New. Never Used. Ships Fast. Expedite Shipping Available.
Marketplace Prices
Own This Book? Sell It
ISBN-13:
Publisher: Cambridge University Press Summary: Linear logic is a branch of proof theory which provides refined tools for the study of computational aspects of proofs. This text illustrates those various aspects, as well as looking at the more specialised applications of linear logic in areas such as computer science.
9780521608572
ISBN:0521608570
Pub Date: 2004Publisher: Cambridge University Press Summary: Linear logic is a branch of proof theory which provides refined tools for the study of computational aspects of proofs. This text illustrates those various aspects, as well as looking at the more specialised applications of linear logic in areas such as computer science.
THE EXTRA MILE GUARANTEE
- 30-Day No-Hassle Returns
- Fast, Same-Day Customer Service
- The Best Prices on Textbook Rentals
NEED HELP PAYING FOR COLLEGE?
- Find student loan options quickly and easily
- Compare loans to find the best fit for you
- Apply for the loan that meets your needs
Price + Shipping
Condition
Details
Product Details
ISBN-13:
ISBN:
Pub Date: 2004
Publisher: Cambridge University Press
9780521608572
ISBN:
0521608570
Pub Date: 2004
Publisher: Cambridge University Press
Linear logic is a branch of proof theory which provides refined tools for the study of computational aspects of proofs. This text illustrates those various aspects, as well as looking at the more specialised applications of linear logic in areas such as computer science.
Where's My Stuff?
- Track your recent orders.
Shipping & Returns
- See our shipping rates & policies.
- Return an item (here's our Return Policy).
Need Help?
