Advances in Linear Logic (London Mathematical Society Lecture Note Series)

0 durchschnittliche Bewertung
( 0 Bewertungen bei Goodreads )
 
9780521559614: Advances in Linear Logic (London Mathematical Society Lecture Note Series)

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

(Keine Angebote verfügbar)

Buch Finden:



Kaufgesuch aufgeben

Sie kennen Autor und Titel des Buches und finden es trotzdem nicht auf ZVAB? Dann geben Sie einen Suchauftrag auf und wir informieren Sie automatisch, sobald das Buch verfügbar ist!

Kaufgesuch aufgeben