Author Description
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
Science
Community Tags
Reader Comments
Share Your Thoughts
No comments yet. Be the first to share your thoughts!