عنوان
پدید آورنده
موضوع
رده
QA 9.59 .B66 1989
QA
9
.
59
.
B66
1989
کتابخانه
محل استقرار
052138026X
0521389232
انگلیسی
Computability and logic
Cambridge ; New York
Cambridge University Press
,1989
Title
Includes bibliographical references and index.
3rd ed.
511
.
3
QA
9
.
59
.
B66
1989
Boolos, George.
Jeffrey, Richard C.
English Book
x, 304 p. ill. 24 cm.
