-
Anglický jazyk
Advances in Linear Logic
Autor: Jean-Yves Girard
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... Viac o knihe
Na objednávku, dodanie 2-4 týždne
79.56 €
bežná cena: 88.40 €
O knihe
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.
- Vydavateľstvo: Cambridge University Press
- Rok vydania: 2003
- Formát: Paperback
- Rozmer: 229 x 152 mm
- Jazyk: Anglický jazyk
- ISBN: 9780521559614
