- Home
- Philosophy
- Logic
- Proof Theory (Sequent Calculi and Related Formalisms)
Proof Theory (Sequent Calculi and Related Formalisms)
List Price:
$79.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:
Katalin Bimbo
Format:
Paperback
Pages:
386
Publisher:
CRC Press (October 14, 2024)
Language:
English
ISBN-13:
9781032920771
Dimensions:
6.125" x 9.1875"
File:
TAYLORFRANCIS-TayFran_260519044334562-20260519.xml
Folder:
TAYLORFRANCIS
List Price:
$79.99
Country of Origin:
United States
Pub Discount:
30
Series:
Discrete Mathematics and Its Applications
As low as:
$75.99
Publisher Identifier:
P-CRC
Discount Code:
H
Audience:
Professional and scholarly
Weight:
16oz
Imprint:
Chapman and Hall/CRC
Case Pack:
1
Overview
Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, this book presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from
