Advances in Linear Logic: 222 (London Mathematical Society Lecture Note Series, Series Number 222) - Softcover
Book 191 of 387: London Mathematical Society Lecture Notes
Synopsis
This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area.
"synopsis" may belong to another edition of this title.
Book Description
Based to a large extent on the Linear Logic Workshop held at Cornell, in June 1993, this volume aims to give an overview of linear logic that will be useful to mathematicians and computer scientists working in this area. The book is in five parts: categories and semantics; complexity and expressivity; proof theory; proof nets; and geometry of interaction. The whole book begins with a general introduction on linear logic which should ensure that this book can be used by the novice as well as the expert.
"About this title" may belong to another edition of this title.
Search results for Advances in Linear Logic: 222 (London Mathematical...
Seller Image
Advances in Linear Logic
Published by
Cambridge University Press, Cambridge, 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614
Used
Brossura
Seller: Di Mano in Mano Soc. Coop, Cambiago, MI, Italy
Seller rating 5 out of 5 stars
Brossura. Testo in inglese / Text in english. Numero di tavole: 0 pp.vi; 389 9780521559614 altezza 23 larghezza 15.3 Esemplare in buone condizioni.Copertina con tracce di polvere e segni di usura ai bordi e agli angoli.Pagine ingiallite ai bordi.Adesivo in seconda di copertina. Seller Inventory # LISCMA0118586-126888
Stock Image
Advances in Linear Logic (Paperback)
Published by
Cambridge University Press, Cambridge, 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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. Based on the Linear Logic Workshop held at Cornell, in June 1993, this volume aims to give an overview of linear logic that will be useful to mathematicians and computer scientists working in this area. The book is in five parts: categories and semantics; complexity and expressivity; proof theory; proof nets; and geometry of interaction. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780521559614
Stock Image
Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222)
Published by
Cambridge University Press, 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614
New
Softcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # I-9780521559614
Stock Image
Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222)
Published by
Cambridge University Press, 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614
New
Softcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780521559614_new
Buy New
£ 77.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Advances in Linear Logic: 222 (London Mathematical Society Lecture Note Series, Series Number 222)
Published by
Cambridge University Press 2010-02-22, 2010
ISBN 10: 0521559618
ISBN 13: 9780521559614
New
Paperback
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9780521559614
Buy New
£ 79.25
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Advances in Linear Logic
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 397 pages. 9.00x6.25x0.75 inches. In Stock. This item is printed on demand. Seller Inventory # __0521559618
Buy New
£ 82.82
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Advances in Linear Logic: 222 (London Mathematical Society Lecture Note Series, Series Number 222)
Published by
Cambridge University Press, 2010
ISBN 10: 0521559618
ISBN 13: 9780521559614
New
Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area. Editor(s): Girard, Jean-Yves (Centre National de la Recherche Scientifique (CNRS), Paris); Lafont, Yves (Centre National de la Recherche Scientifique (CNRS), Paris); Regnier, Laurent (Centre National de la Recherche Scientifique (CNRS), Paris). Series Editor(s): Hitchin, N. J. Series: London Mathematical Society Lecture Note Series. Num Pages: 400 pages, many line drawings. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 23. Weight in Grams: 590. . 2010. paperback. . . . . Seller Inventory # V9780521559614
Buy New
£ 93.49
£ 9.08 shipping
Ships from Ireland to U.S.A.
Ships from Ireland to U.S.A.
Quantity: Over 20 available
Stock Image
Advances in Linear Logic
Published by
Cambridge University Press, 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9780521559614
Buy New
£ 85.81
£ 16.95 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Advances in Linear Logic
Published by
Cambridge University Press, 2003
ISBN 10: 0521559618
ISBN 13: 9780521559614
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area.InhaltsverzeichnisLinear logic: its syntax and semantics J. Y. Girard Part I. Categories and Semantics:. Seller Inventory # 446939989
Buy New
£ 72.37
£ 42.37 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222)
Published by
Cambridge University Press, 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614
New
paperback
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0521559618