Tallenna
Proof Theory and Automated Deduction
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.
- Kirjailija
- Jean Goubault-Larrecq, I. Mackie
- Painos
- Softcover reprint of the original 1st ed. 1997
- ISBN
- 9781402003684
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 30.11.2001
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 444
