Treffer: Proof theory and automated deduction

Titel:
Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie
Verantwortlich:
Goubault-Larrecq, Jean; MacKie, Ian
Veröffent­licht:
Dordrecht [u.a.] : Kluwer, 1997
Umfang:
XV, 424 S.
Publikationstyp:
Buch
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Applied logic series ; 6
alle Bände anzeigen
RVK-Notation:
SK 130 ST 125
ISBN:
0792345932

Zusatz-Informationen

Zusatz-Funktionen