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