Linear Logic in Computer Science (London Mathematical Society Lecture Note Series, Series Number 316)

ISBN 10: 0521608570 / ISBN 13: 9780521608572

Verlag: Cambridge University Press, 2004

Beschreibung

Bestandsnummer des Verkäufers U9780521608572

Bibliografische Details

• Titel: Linear Logic in Computer Science (London Mathematical Society Lecture Note Series, Series Number 316)
• Verlag: Cambridge University Press
• Veröffentlichungsdatum: 2004
• Sprache: Englisch
• ISBN-10: 0521608570
• ISBN-13: 9780521608572
• Bindung: Softcover
• Ausgabe: 1751456191.
• Zustand: Very Good
• Zustand des Schutzumschlags: 38588713
• Signiert: 7/2/2025 11:36:31 AM
• Verkäuferkataloge:
  • 1
  • U
  • 9780521608572

Über diesen Titel

Inhaltsangabe

This book illustrates linear logic in the application of proof theory to computer science.

Product Description

Book by None