RecordNumber

752

Title

Handbook of proof theory

Editor

edited by Samuel R. Buss

Publication

Elsevier

Publication Year

c1998

Collation

811 p

Series

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

Index

ng

Biblography

Includes bibliographical references and indexes

Subject

Proof theory

ADDED ENTRIES

Buss, Samuel R

LC Class

QA

LC Number

9.54

LC CutterNumber

.H35

LC Date

1998

تاريخ ورود اطلاعات

02/40/5831

DocumentNumber

757