Advances in Linear Logic - Jean-Yves Girard
-40% koodiga BOOKS
Saadetis 15-21 tööpäeva jooksul
30-päevane tagastamisõigus
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.
Võib-olla meeldib sulle ka
TOP
Determined: The Science of Life Without Free Will
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Rise and Fall of the Dinosaurs: A New History of a Lost World
-40% koodiga BOOKS
Meie tarnija laos
TOP
Factfulness: Ten Reasons We're Wrong About the World--and Why Things Are Better Than You Think
Ola Rosling, Anna Rosling Rönnlund, Hans Rosling
-40% koodiga BOOKS
Meie tarnija laos
TOP
Biology: A Global Approach, Global Edition
Neil Campbell, Rebecca Orr, Lisa Urry, Peter Minorsky, Michael Cain, Jane Reece, Steven Wasserman
-40% koodiga BOOKS
Meie tarnija laos
TOP
Six Not-so-easy Pieces: Einstein's Relativity, Symmetry, and Space-Time
Richard P. Feynman, Robert B. Leighton, Matthew Sands
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Light Eaters: How the Unseen World of Plant Intelligence Offers a New Understanding of Life on Earth
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Age of Alchemy: How Early Innovators Shaped Modern Chemistry
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Secrets of our DNA: How Genetics has Changed the World
-40% koodiga BOOKS
Meie tarnija laos
TOP
Janeway's Immunobiology
Leslie J. Berg, Kenneth Murphy, Casey Weaver
-40% koodiga BOOKS
Meie tarnija laos
TOP
How to Solve it: A New Aspect of Mathematical Method
-40% koodiga BOOKS
Meie tarnija laos
TOP
Behave: The Biology of Humans at Our Best and Worst
-40% koodiga BOOKS
Meie tarnija laos
TOP
Why We Sleep: Unlocking the Power of Sleep and Dreams
-40% koodiga BOOKS
Laos
TOP
Why Machines Learn: The Elegant Maths Behind Modern AI
-40% koodiga BOOKS
Meie tarnija laos
TOP
Six Easy Pieces: Essentials of Physics Explained by Its Most Brilliant Teacher
Richard P. Feynman, Robert B. Leighton, Matthew Sands
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Rise and Reign of the Mammals: A New History, from the Shadow of the Dinosaurs to Us
-40% koodiga BOOKS
Meie tarnija laos
TOP
Learn Faster, Perform Better: A Musician's Guide to the Neuroscience of Practicing
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Brain That Changes Itself: Stories of Personal Triumph from the Frontiers of Brain Science
-40% koodiga BOOKS
Meie tarnija laos
TOP
Thing Explainer: Complicated Stuff in Simple Words
-40% koodiga BOOKS
Meie tarnija laos
Kirjeldus
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.
Lisateave
| Autor | Jean-Yves Girard |
|---|---|
| Kirjastaja | Cambridge University Press |
| Väljalaskeaasta | 2003 |
| Kaanetüüp | Pehme kaanega |
| EAN | 9780521559614 |