0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic

Buy Now

Advances in Linear Logic (Paperback, New) Loot Price: R1,685
Discovery Miles 16 850
Advances in Linear Logic (Paperback, New): Jean-Yves Girard, Yves Lafont, Laurent Regnier

Advances in Linear Logic (Paperback, New)

Jean-Yves Girard, Yves Lafont, Laurent Regnier

Series: London Mathematical Society Lecture Note Series

 (sign in to rate)
Loot Price R1,685 Discovery Miles 16 850 | Repayment Terms: R158 pm x 12*

Bookmark and Share

Expected to ship within 12 - 17 working days

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.

General

Imprint: Cambridge UniversityPress
Country of origin: United Kingdom
Series: London Mathematical Society Lecture Note Series
Release date: June 1995
First published: 1995
Editors: Jean-Yves Girard • Yves Lafont • Laurent Regnier
Dimensions: 226 x 153 x 23mm (L x W x T)
Format: Paperback - Trade
Pages: 400
Edition: New
ISBN-13: 978-0-521-55961-4
Categories: Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
LSN: 0-521-55961-8
Barcode: 9780521559614

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Partners