Proof Theory and Automated Deduction
I. Mackie, Jean Goubault-Larrecq
Kluwer Academic Publishers, 2001
68,25 €On orderDelivery: 2-3 weeks
A new attitude to applied logic has evolved, where researchers tailor a logic for their own use in the same way they define a computer language, and where auto mated deduction for the logic and its fragments is as important as the logic itself.
- ISBN-13
- 9781402003684
- ISBN-10
- 1402003684
- Publisher
- Kluwer Academic Publishers
- Year
- 2001
- Publication date
- 2001-11-30
- Pages
- 444
- Dimensions
- 235x155x