Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie

Av:

Medverkande(n):

Materialtyp: Text

TextSerie: Applied logic series ; v.6Utgivningsinformation: Dordrecht London Kluwer Academic c1997Beskrivning: xv,424p 25cmISBN:

Ämnen:

DDK-klassifikation:

Annan klassifikation:

Bestånd
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