Please type in at least 2 characters
Please type in at least 2 characters
Browse Categories
Bags & Travel Accessories
Electronics & Mobiles
Computer & Peripherals
Smart TV & Accessories
School Supplies
Toys & Kids Learning
Office Supplies
Arts & Crafts
Arabic Books
English Books
Audio & eBooks
Gaming
Digital Cards
Musical Instruments
Item 1 of 1
Item 1 of 1
Springer
Proof Theory of Modal Logic
SR 949
Inclusive of VAT
SR57Per Month/24 months
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR949
Incl. VAT
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
Or
About this Product
<em>Proof Theory of Modal Logic</em> is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.
Report an issue with this product.
