Handbook of proof theory

RecordNumber :

32814

LC Class :

LC Number :

9.54

LC CutterNumber :

.H35

Title :

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 :

ADDED ENTRIES :

Buss, Samuel R

Holding Info. :

0444898409

Original By :

77/10

DocumentNumber :

44804

Biblography :

Includes bibliographical references and index

BL :

Link To Document :