Gifting Made Simple
Give the Gift of ChoiceClick below to purchase a Bramalea City Centre eGift Card that can be used at participating retailers at Bramalea City Centre.Purchase HereHome
Advances in Linear Logic
Coles
Loading Inventory...
Advances in Linear Logic in Brampton, ON
Current price: $98.95
Coles
Advances in Linear Logic in Brampton, ON
Current price: $98.95
Loading Inventory...
Size: Paperback
*Product information and pricing may vary - to confirm current pricing, availability, shipping, and return information please contact Coles. In the event of a pricing discrepancy, the retailer's price will apply.
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.
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.
You May Also Like
Find at Bramalea City Centre in Brampton, ON
Visit at Bramalea City Centre in Brampton, ON