Picture 1 of 1

Stock photo

Natural Deduction, Hybrid Systems and Modal Logics (Trends in Logic, 30) (USED) - Picture 1 of 1

Natural Deduction, Hybrid Systems and Modal Logics by Andrzej Indrzejczak (Hardcover, 2010)

plsshipfast (11223)

98.7% positive Feedback

Price:

£241.72

Free postage

Estimated delivery Sat, 26 Jul - Mon, 4 Aug

Returns:

30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.

Condition:

Good

In short, this study may be seen as a kind of search for good deductive systems. In parti lar, we are interested in providing systems that may be widely applied in teaching logic. On the other hand, logic is often taught as a strictly mathematical discipline in very dema ing courses.

About this product

Product Information

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.