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
Link To Document :
http://lib1.kashanu.ac.ir//dL/search/default.aspx?Term=1663&Field=0&DTC=2
All Rights Reserved To Payam Mashregh Company
