Handbook of proof theory

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
Link To Document :
http://math.iranlibs.ir/dL/search/default.aspx?Term=752&Field=0&DTC=2