Collation

811 P

Addition

,

Title

Hanbook of proof theory

LC Class

511

LC Number

.3

LC CutterNumber

H 236

Publication Year

1998

Publication

Elsevier

Series

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

Subject

Proof theory

Editor

Edited by Samuel R. Buss, ... [et al.]

DocumentNumber

2888

ISBNN

, 1 , 7621 , 2-1

RecordNumber

1663