Doesn't suit? No problem! You can return within 30 days
You won't go wrong with a gift voucher. The gift recipient can choose anything from our offer.
30-day return policy
The ninth volume of the Second Edition contains major contributions on Rewriting Logic as a Logical and Semantic Framework, Logical Frameworks, Proof Theory and Meaning, Goal Directed Deductions, Negations, Completeness and Consistency as well as Logic as General Rationality.§Audience: Students and researchers whose work or interests involve philosophical logic and its applications.