2139:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
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.
- Format: Inbunden
- ISBN: 9781402006999
- Språk: Engelska
- Antal sidor: 368
- Utgivningsdatum: 2002-11-30
- Förlag: Kluwer Academic Publishers