9780521559614 - advances in linear logic (london mathematical society lecture note series) von girard, jean (3 Ergebnisse)

ISBN

Optimieren Sie Ihre Suche

  • Bücher (3)

  • Neu (3)

bis

Benutzerdefinierte Preisspanne (EUR)

bis

    • Sprache: Englisch

      Verlag: Cambridge University Press, 1995

      0521559618 / 9780521559614

      Serie: London Mathematical Society Lecture Notes, Buch 191 von 387. Buch 191 von 387 - London Mathematical Society Lecture Notes

      • Softcover

      Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 93,10

      EUR 13,98 Versand 
      Versand von Vereinigtes Königreich nach USA

      Anzahl: Mehr als 20 verfügbar

      Zustand: New. In.

    • Sprache: Englisch

      Verlag: Cambridge University Press, 1995

      0521559618 / 9780521559614

      Serie: London Mathematical Society Lecture Notes, Buch 191 von 387. Buch 191 von 387 - London Mathematical Society Lecture Notes

      • Softcover

      Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 133,28

      EUR 9,18 Versand 
      Versand innerhalb von USA

      Anzahl: Mehr als 20 verfügbar

      Zustand: 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 (Ce

    • Sprache: Englisch

      Verlag: Cambridge University Press, 1995

      0521559618 / 9780521559614

      Serie: London Mathematical Society Lecture Notes, Buch 191 von 387. Buch 191 von 387 - London Mathematical Society Lecture Notes

      • Softcover

      Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 114,33

      EUR 63,24 Versand 
      Versand von Deutschland nach USA

      Anzahl: 1 verfügbar

      Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basi