عنوان
پدید آورنده
موضوع
رده
QA 9.54 .A75
QA
9
.
54
.
A75
کتابخانه
محل استقرار
Arithmetic, Proof theory and computational complexity
Oxford
Clarendon
1993
xii, 428p.: ill., tables, photo
Oxford logic guides; 32
Includes bibliographies
ISBN: 0198536909
edited by Peter Clote and Jan Krajicek
1
، Proof theory
، Computational complexity
QA
9
.
54
.
A75
TI
AU Clote, Peter G.
AU Krajicek, Jan
SE
