عنوان
پدید آورنده
موضوع
رده
QA 9.54 .N44
QA
9
.
54
.
N44
کتابخانه
محل استقرار
Structural proof theory
Cambridge UK
Cambridge Univ. Press
2001
xvii, 257 p.
Bibliography: p.245-249
ISBN: 0521793076
Sara Negri, Jan von Plato; with an appendix by Aarne Ranta
1
، Proof theory
QA
9
.
54
.
N44
Negri, Sara, 7691-
AU
AU Von Plato, Jan
TI
