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