Handbook of Philosophical Logic

(4.8/5) - 397 ratings
Authors: Dov M. Gabbay, Franz Guenthner (eds.)
Publisher: Springer
Pages: 380
Language: english
Year: 2002
ISBN 10: 1402006993
ISBN 13: 9781402006999
Series: Unknown
Edition: 2nd
5,850 people have downloaded this book for free

Synopsis

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:...