Handbook of Philosophical Logic
Dov M. Gabbay, Franz Guenthner (eds.)
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.
Том:
Volume 09
Година:
2002
Издание:
2nd
Издателство:
Springer
Език:
english
Страници:
380
ISBN 10:
1402006993
ISBN 13:
9781402006999
Файл:
DJVU, 2.52 MB
IPFS:
,
english, 2002