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.
Advances in Linear Logic
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 (July 1, 1995)
9780521559614 | details & prices | 6.25 × 9.00 × 0.75 in. | 1.25 lbs | List price $99.00
About: This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry of interaction.
About: This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry of interaction.