عنوان
پدید آورنده
موضوع
رده
QA9.65 .B64 1997
QA9
.
65
.
B64
1997
کتابخانه
محل استقرار
354057073X
b423588
The classical decision problem /
[Book]
Egon Börger, Erich Grädel, Yuri Gurevich
xii, 482 pages :
illustrations ;
24 cm
Perspectives in mathematical logic
Includes bibliographical references (pages[421]-476) and index
Decidability (Mathematical logic)
511
.
3
21
QA9
.
65
.
B64
1997
Börger, E., (Egon),1946-
Grädel, Erich,1958-
Gurevich, Yuri
19970318085230.0
rda
مطالعه متن کتاب [Book]
Y
