ENGLISH

Handbook of Philosophical Logic

By Dov M. Gabbay , Franz Guenthner (eds.)

Book information

Publisher
Springer
Year
2002
ISBN
1402006993, 9781402006999
Language
english
Format
PDF
Filesize
2 MB (2144529 bytes)
Volume
Volume 09
Edition
2nd
Pages
380\380
Time added
2010-05-17 00:23:50

Description

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.

Similar books