Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie
Material type:
- 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