- We will send in 10–14 business days.
/images/books/2892671/9780198537779.jpg)
- Publisher: Clarendon Press
- ISBN-10: 0198537778
- ISBN-13: 9780198537779
- Format: 17.6 x 23.2 x 2.8 cm, hardcover
- Language: English
- SAVE -10% with code: EXTRA
Substructural Logics (e-book) (used book) | bookbook.eu
Reviews
Description
Substructural logics comprise a family of nonclassical logics that 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 in order to provide a unified view of the field. This important volume--the first to bring together the disparate strands of work in substructural logics--will be welcomed by student and professional logicians, theoretical computer scientists, theoretical linguists, philosophers, and mathematicians working in category theory and universal algebra.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 17d.04:39:57
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Publisher: Clarendon Press
- ISBN-10: 0198537778
- ISBN-13: 9780198537779
- Format: 17.6 x 23.2 x 2.8 cm, hardcover
- Language: English English
Substructural logics comprise a family of nonclassical logics that 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 in order to provide a unified view of the field. This important volume--the first to bring together the disparate strands of work in substructural logics--will be welcomed by student and professional logicians, theoretical computer scientists, theoretical linguists, philosophers, and mathematicians working in category theory and universal algebra.
Reviews