Image from Amazon.com
Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie
Material type:
TextSeries: Applied logic series ; v.6Publication details: Dordrecht London Kluwer Academic c1997Description: xv,424p 25cmISBN: - 0792345932
- 511.3
- Ta:d
- Dca
- 511
- Dca
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Book (loan) | Campus Karlskrona | 511 | Available | 80013801749 |
Total holds: 0
Bibliography: p407-413. - Includes index