Loading...
This book illustrates linear logic in the application of proof theory to computer science.
Page Count:381
Publication Date:2004-01-01
ISBN-10:0521608570
No comments yet. Be the first to share your thoughts!