Author Statement

Jean Goubault- larrecq,Ian Mackie

Collation

XiV, 424 P

Addition

,

Title

Proof theory and automated deduction

LC Class

511

LC Number

.3

LC CutterNumber

G 688 P

Publication Year

1997

Publication

Kluwer Academic Publishers

Subject

Proof theory,Automatic theorem proving- computer

DocumentNumber

5293

ISBNN

, 1 , 7585 , 2-1

RecordNumber

2101