Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie
Materialtyp:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 0792345932
- 511.3
- Ta:d
- Dca
- 511
- Dca
Exemplartyp | Aktuellt bibliotek | Hyllsignatur | Status | Förfallodatum | Streckkod | |
---|---|---|---|---|---|---|
Bok (Hemlån) | Campus Karlskrona | 511 | Tillgänglig | 80013801749 |
Bibliography: p407-413. - Includes index