Gabbay D.M., Guenthner F. (eds.) — Handbook of philosophical logic (Vol. 9)
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Handbook of philosophical logic (Vol. 9)
Авторы: Gabbay D.M., Guenthner F. (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.
|
|
О проекте