Copyright ©1998-2010 Glenn Fleishman. Send in your comments. Bibliographic information on isbn.nu licensed from Baker & Taylor. Contact them for corrections and licensing, or read more about our data.
Linear Logic In Computer Science
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Paperback
from Cambridge Univ Pr (November 30, 2004)
9780521608572 | details & prices | 381 pages | 6.00 × 9.00 × 0.50 in. | 1.20 lbs | List price $127.00
About: Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs.
About: Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs.