Linear Logic in Computer Science
- Thomas Ehrhard
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹9,858Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books GOAudible GO* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Know about the book -
Linear Logic in Computer Science is written by Thomas Ehrhard and published by Cambridge University Press. It's available with International Standard Book Number or ISBN identification 0521608570 (ISBN 10) and 9780521608572 (ISBN 13).
This book illustrates linear logic in the application of proof theory to computer science.
