This is a first course in propositional modal logic suitable for mathematicians computer scientists and philosophers. Emphasis is placed on semantic aspects in the form of labelled transition structures rather than on proof theory.
Piracy-free
Assured Quality
Secure Transactions
Delivery Options
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.