Advances in linear logic ed. Lecture note series 222.

ISBN 10: 0521559618 / ISBN 13: 9780521559614

Published by Cambridge, Cambridge University Press, 1995

About this Item

Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 ADV 9780521559614 Sprache: Englisch Gewicht in Gramm: 1150.

Seller Inventory # 2508861

Bibliographic Details

• Title: Advances in linear logic ed. Lecture note series 222.
• Publisher: Cambridge, Cambridge University Press
• Publication Date: 1995
• Language: English
• ISBN 10: 0521559618
• ISBN 13: 9780521559614
• Binding: Softcover
• Weight: 1150 grams
• Seller catalogs:
  • SA MATHEMATIK

About this title

Synopsis

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.

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.