Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
Advances in Linear Logic by Jean-Yves Girard, Laurent Regnier, Yves Lafont (Paperback, 1995)
freshlyprintedbooks (1494)
99.7% positive Feedback
Price:
£58.99
Free postage
Returns:
30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Condition:
Advances in Linear Logic 9780521559614 Brand New
- Buy it nowAdvances in Linear Logic Girard Lafont Regnier Paperback 9780521559614
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Information
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.Product Identifiers
PublisherCambridge University Press
ISBN-139780521559614
eBay Product ID (ePID)92013140
Product Key Features
Number of Pages400 Pages
Publication NameAdvances in Linear Logic
LanguageEnglish
SubjectMathematics
Publication Year1995
TypeTextbook
AuthorJean-Yves Girard, Laurent Regnier, Yves Lafont
SeriesLondon Mathematical Society Lecture Note Series
FormatPaperback
Dimensions
Item Height226 mm
Item Weight570 g
Item Width153 mm
Additional Product Features
EditorLaurent Regnier, Jean-Yves Girard, Yves Lafont
Country/Region of ManufactureUnited Kingdom
All listings for this product
Be the first to write a review
