Call Boomerang Books 1300 36 33 32

Description - Advances in Linear Logic by Jean-Yves Girard

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.

Buy Advances in Linear Logic by Jean-Yves Girard from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

ISBN: 9780521559614
ISBN-10: 0521559618
Format: Paperback
(228mm x 152mm x 23mm)
Pages: 400
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 22-Jun-1995
Country of Publication: United Kingdom

Book Reviews - Advances in Linear Logic by Jean-Yves Girard

» Have you read this book? We'd like to know what you think about it - write a review about Advances in Linear Logic book by Jean-Yves Girard and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a Boomerang Books Account Holder - it's free to sign up and there are great benefits!)

Write Review

Books By Jean-Yves Girard

Linear Logic in Computer Science by Jean-Yves Girard
Paperback, November 2004