Title: Linear Logic in Computer Science
Description: This book illustrates linear logic in the application of proof theory to computer science.
Subjects: Mathematics, Symbolic and mathematical Logic, Proof theory, Computer science, Computer science, mathematics, Data processing