Items related to Advances in Linear Logic (London Mathematical Society...
Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222) - Softcover
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.
"synopsis" may belong to another edition of this title.
Book Description:
Including a general introduction to linear logic that will ensure its use by the novice as well as the expert, this volume is divided into five parts: category theory; complexity and expressivity; proof theory; proof nets and the geometry of interaction.
"About this title" may belong to another edition of this title.
- PublisherCambridge University Press
- Publication date1995
- ISBN 10 0521559618
- ISBN 13 9780521559614
- BindingPaperback
- Edition number1
- Number of pages400
- EditorGirard Jean-Yves, Lafont Yves, Regnier Laurent
Buy New
Learn more about this copy
US$ 77.62
Shipping:
US$ 3.99
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
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
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Feb2416190007222
Buy New
US$ 77.62
Convert currency
Stock Image
Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222) [Paperback] Girard, Jean-Yves; Lafont, Yves and Regnier, Laurent
Published by
Cambridge University Press
(1995)
ISBN 10: 0521559618
ISBN 13: 9780521559614
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: new. Questo è un articolo print on demand. Seller Inventory # 8bb9a9dee39b18f6acf3b652de55c803
Buy New
US$ 79.31
Convert currency
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
Quantity: 1
Seller:
Rating
Book Description Condition: New. Book is in NEW condition. 1.46. Seller Inventory # 0521559618-2-1
Buy New
US$ 95.73
Convert currency
Stock Image
Advances in Linear Logic
Published by
Cambridge University Press
(1995)
ISBN 10: 0521559618
ISBN 13: 9780521559614
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9780521559614_lsuk
Buy New
US$ 83.27
Convert currency
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
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # I-9780521559614
Buy New
US$ 96.00
Convert currency
Stock Image
Advances in Linear Logic (London Mathematical Society Lecture Note Series)
Published by
Cambridge University Press 2010-02-22
(2010)
ISBN 10: 0521559618
ISBN 13: 9780521559614
New
Paperback
Quantity: 10
Seller:
Rating
Book Description Paperback. Condition: New. Seller Inventory # 6666-IUK-9780521559614
Buy New
US$ 77.40
Convert currency
Stock Image
Advances in Linear Logic
Published by
Cambridge Univ Pr
(1995)
ISBN 10: 0521559618
ISBN 13: 9780521559614
New
Paperback
Quantity: 1
Seller:
Rating
Book Description Paperback. Condition: Brand New. 397 pages. 9.00x6.25x0.75 inches. In Stock. Seller Inventory # __0521559618
Buy New
US$ 84.05
Convert currency
Stock Image
Advances in Linear Logic
Published by
Cambridge University Press
(1995)
ISBN 10: 0521559618
ISBN 13: 9780521559614
New
Paperback / softback
Quantity: 5
Seller:
Rating
Book Description Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9780521559614
Buy New
US$ 87.34
Convert currency
Seller Image
Advances in Linear Logic
Published by
Cambridge University Press
(2003)
ISBN 10: 0521559618
ISBN 13: 9780521559614
New
Kartoniert / Broschiert
Quantity: > 20
Seller:
Rating
Book Description Kartoniert / Broschiert. 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
US$ 53.71
Convert currency
Stock Image
Advances in Linear Logic
Published by
Cambridge University Press CUP
(1995)
ISBN 10: 0521559618
ISBN 13: 9780521559614
New
Softcover
Quantity: 4
Seller:
Rating
Book Description Condition: New. pp. 400. Seller Inventory # 26561367
Buy New
US$ 107.93
Convert currency