عنوان
پدید آورنده
موضوع
رده
QA 9.65 .B62
QA
9
.
65
.
B62
کتابخانه
محل استقرار
The classical decision problem
Berlin
Springer-Verlag
c1997
xii, 482p.: ill
Perspectives in mathematical logic
Bibliography: p.]421[-476
ISBN 354057073X
Egon Borger, Erich Gradel, Yuri Gurevich
1
، Decidability )Mathematical logic(
QA
9
.
65
.
B62
Borger, Egon, 6491-
AU
AU Gradel, Erich, 1958-
AU Gurevich, Yuri
TI
SE
