Proof Theory: Sequent Calculi and Related Formalisms

Author:   Katalin Bimbo
Publisher:   Taylor & Francis Ltd
ISBN:  

9781032920771


Pages:   386
Publication Date:   14 October 2024
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $120.00 Quantity:  
Add to Cart

Share |

Proof Theory: Sequent Calculi and Related Formalisms


Add your own review!

Overview

Full Product Details

Author:   Katalin Bimbo
Publisher:   Taylor & Francis Ltd
Imprint:   Chapman & Hall/CRC
Weight:   0.712kg
ISBN:  

9781032920771


ISBN 10:   1032920777
Pages:   386
Publication Date:   14 October 2024
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Reviews

"""Katalin Bimbo is one of the leading relevance logicians in the world today and indeed one of the leading non-classical logicians in general. Her book on proof theory takes readers through standard (classical) proof theory and beyond, including proof theory for some of the most important non-classical logics. The discussion is brilliantly executed. All graduate students interested in logic should study this book and all faculty too. I plan to use the book often."" —Jc Beall, Professor of Philosophy, University of Connecticut, and Professorial Fellow, Northern Institute of Philosophy, University of Aberdeen"


Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List