Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie
Materialtyp: TextSerie: Applied logic series ; v.6Utgivningsinformation: Dordrecht London Kluwer Academic c1997Beskrivning: xv,424p 25cmISBN:- 0792345932
- 511.3
- Ta:d
- Dca
- 511
- Dca
Exemplartyp | Aktuellt bibliotek | Hyllsignatur | Status | Förfallodatum | Streckkod | Exemplarreservationer | |
---|---|---|---|---|---|---|---|
Bok (Hemlån) | Campus Karlskrona | 511 | Tillgänglig | 80013801749 |
Antal reservationer: 0
Bibliography: p407-413. - Includes index