RecordNumber
:
45860
LC Class
:
QA
LC Number
:
9.54
LC CutterNumber
:
.N44
Dewey Class
:
511.3
Author
:
Negri, Sara,1967-
Title
:
Structural proof theory
Author Statement
:
Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta
Publication
:
Cambridge University Press
Publication Year
:
2001
Collation
:
xvii, 257 p. 24 cm.
Subject
:
Proof theory
ADDED ENTRIES
:
Von Plato, Jan
DocumentNumber
:
54607
Biblography
:
Includes bibliographical references (p. 245-249) and indexes
ISBN
:
0521793076
BL
:
BL
Link To Document :
https://library.iut.ac.ir/dL/search/default.aspx?Term=45860&Field=0&DTC=100
All Rights Reserved To Payam Mashregh Company
