Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie
Material type:
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book (loan) | Gräsvik | 511 | Available | 80013801749 |
Bibliography: p407-413. - Includes index