Natural Deduction, Hybrid Systems and Modal Logics
Author:   Andrzej Indrzejczak
Publisher:   Springer
ISBN:  

9789048187973


Pages:   516
Publication Date:   05 July 2010
Format:   Undefined
Availability:   Out of stock   Availability explained


Our Price $65.87 Quantity:  
Add to Cart

Share |

Natural Deduction, Hybrid Systems and Modal Logics


Overview

This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.

Full Product Details

Author:   Andrzej Indrzejczak
Publisher:   Springer
Imprint:   Springer
Dimensions:   Width: 23.40cm , Height: 2.60cm , Length: 15.60cm
Weight:   0.717kg
ISBN:  

9789048187973


ISBN 10:   9048187974
Pages:   516
Publication Date:   05 July 2010
Audience:   General/trade ,  General
Format:   Undefined
Publisher's Status:   Unknown
Availability:   Out of stock   Availability explained

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now