Handbook of Philosophical Logic Volume 09
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
파일:
PDF, 2.05 MB
IPFS:
,
english, 2002