عنوان
پدید آورنده
موضوع
رده
QA 9 .6 .S67 1994
QA
9
.
6
.
S67
1994
کتابخانه
محل استقرار
119793
زمستان۸۷
English
)40(
Smullyan, Raymond M.
Diagonalization and self-reference
Oxford
Clarendon Press
1994
xv, 396 p.: ill.; 24 cm
Oxford logic guides
27
Includes bibliographical references and index
، Recursion theory
، Fixed point theory
QA
9
.
6
.
S67
1994
AU
Raymond M. Smullyan
TI
04
