عنوان
پدید آورنده
موضوع
رده
QA 9 .6 .S67 1994
QA
9
.
6
.
S67
1994
کتابخانه
محل استقرار
Diagonalization and self-reference
Oxford ; New York
Clarendon Press
1994
xv, 396 p. : ill. ; 24 cm.
Oxford logic guides ;72
Includes bibliographical references )p. ]389[-391( and index
Raymond M. Smullyan
، Recursion theory
، Fixed point theory
511
.
3
QA
9
.
6
.
S67
1994
Smullyan, Raymond M.
AU
TI
SE
