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.