عنوان
پدید آورنده
موضوع
رده
QA 9 .54 .P64 2008
QA
9
.
54
.
P64
2008
کتابخانه
محل استقرار
152064
زمستان۹۸
English
)20(
Pohlers, Wolfram
Proof theory: the first step into impredicativity
New York; London
Springer
2008
xiii, 370 p.; 24 cm
Universitext
Originally published: 1989
، Proof theory
QA
9
.
54
.
P64
2008
AU
by Wolfram Pohlers
TI
SE
02
