Items related to Advances in Linear Logic: 222 (London Mathematical...
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 (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 5 out of 5 stars
Condition: New. Seller Inventory # I-9780521559614
Stock Image
Advances in Linear Logic
Published by
Cambridge University Press 1995-06, 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614
New
PF
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Seller Inventory # 6666-IUK-9780521559614
Buy New
£ 79.25
£ 6.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 20 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
£ 91.16
£ 8.01 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 (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 English. Seller Inventory # ria9780521559614_new
Buy New
£ 89.80
£ 11.29 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
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
£ 90.97
£ 16.95 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 (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
Seller Image
Advances in Linear Logic
Published by
Cambridge University Press, 2003
ISBN 10: 0521559618
ISBN 13: 9780521559614
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
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
£ 80.12
£ 41.31 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: 222 (London Mathematical Society Lecture Note Series, Series Number 222)
Published by
Cambridge University Press, 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614
New
Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.
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. . . . . Books ship from the US and Ireland. Seller Inventory # V9780521559614
Stock Image
Advances in Linear Logic
Published by
Cambridge University Press CUP, 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614
New
Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 400. Seller Inventory # 26561367