عنوان
پدید آورنده
موضوع
رده
QA 9.6 .S68 1993
QA
9
.
6
.
S68
1993
کتابخانه
محل استقرار
English
Recursion theory for metamathematics
New York
Oxford University Press
1993
xiv, 163 p. ; 25 cm
Oxford logic guides, 22
Includes bibliographical references )p. 159-160( and index
Raymond M. Smullyan
1
، Recursion theory
QA
9
.
6
.
S68
1993
CA
511
.
3/5
Smullyan, Raymond M.
AU
TI
SE
