- Home
- Computers
- Computer Science
- An Introduction to Substructural Logics - 9780415215343
An Introduction to Substructural Logics - 9780415215343
List Price:
$55.99
- Availability: Confirm prior to ordering
- Branding: minimum 50 pieces (add’l costs below)
- Check Freight Rates (branded products only)
Branding Options (v), Availability & Lead Times
- 1-Color Imprint: $2.00 ea.
- Promo-Page Insert: $2.50 ea. (full-color printed, single-sided page)
- Belly-Band Wrap: $2.50 ea. (full-color printed)
- Set-Up Charge: $45 per decoration
- Availability: Product availability changes daily, so please confirm your quantity is available prior to placing an order.
- Branded Products: allow 10 business days from proof approval for production. Branding options may be limited or unavailable based on product design or cover artwork.
- Unbranded Products: allow 3-5 business days for shipping. All Unbranded items receive FREE ground shipping in the US. Inquire for international shipping.
- RETURNS/CANCELLATIONS: All orders, branded or unbranded, are NON-CANCELLABLE and NON-RETURNABLE once a purchase order has been received.
Product Details
Author:
Greg Restall
Format:
Paperback
Pages:
400
Publisher:
Taylor & Francis (December 16, 1999)
Language:
English
ISBN-13:
9780415215343
ISBN-10:
041521534X
Weight:
20.25oz
Dimensions:
6.125" x 9.1875"
File:
TAYLORFRANCIS-TayFran_260523042818334-20260523.xml
Folder:
TAYLORFRANCIS
List Price:
$55.99
Case Pack:
16
As low as:
$53.19
Publisher Identifier:
P-CRC
Discount Code:
H
Audience:
College/higher education
Country of Origin:
United States
Pub Discount:
30
Imprint:
Routledge
Overview
This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. An Introduction to Substrucural Logics is the first book to systematically survey the new results and the significant impact that this class of logics has had on a wide range of fields.The following topics are covered:
* Proof Theory
* Propositional Structures
* Frames
* Decidability
* Coda
Both students and professors of philosophy, computing, linguistics, and mathematics will find this to be an important addition to their reading.
* Proof Theory
* Propositional Structures
* Frames
* Decidability
* Coda
Both students and professors of philosophy, computing, linguistics, and mathematics will find this to be an important addition to their reading.








