3089:-
Uppskattad leveranstid 5-10 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
BL A collection of papers by eminent logicians BL The only unified approach to this subject available Substructural logics are nonclassical logics which arose in response to problems in theoretical computer science, mathematical linguistics, and category theory. They include intuitionist logic, relevant logic, BCK logic, linear logic, and Lambeck's calculus of synthetic categories. This book brings together new papers by some of the most eminent authorities in these various traditions, to produce a unified view of substructural logics.
- Format: Inbunden
- ISBN: 9780198537779
- Språk: Engelska
- Antal sidor: 396
- Utgivningsdatum: 1993-12-01
- Förlag: Clarendon Press