Sprache: Englisch
Verlag: Cambridge, Cambridge University Press, 1995
ISBN 10: 0521559618 ISBN 13: 9780521559614
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Softcover. 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.
Sprache: Englisch
Verlag: Cambridge University Press, 1995
ISBN 10: 0521559618 ISBN 13: 9780521559614
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 90,73
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Cambridge University Press, 1995
ISBN 10: 0521559618 ISBN 13: 9780521559614
Anbieter: Kennys Bookstore, Olney, MD, USA
EUR 131,28
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: 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.
Sprache: Englisch
Verlag: Cambridge University Press, 1995
ISBN 10: 0521559618 ISBN 13: 9780521559614
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.