RecordNumber

32814

LC Class

QA

LC Number

9.54

LC CutterNumber

.H35

Title

Handbook of proof theory

Author Statement

edited by Samuel R. Buss

Publication

Elsevier

Publication Year

1998

Collation

vii, 810 p.: illus.; 24 cm

Series

Studies in logic and the foundations of mathematics; v.137

Subject

Proof theory

ADDED ENTRIES

Buss, Samuel R

Holding Info.

0444898409

Original By

77/10

DocumentNumber

44804

Biblography

Includes bibliographical references and index

BL

BL