عنوان
پدید آورنده
موضوع
رده
QA 9 .S518
QA
9
.
S518
کتابخانه
محل استقرار
39678
آخر۲۷
English
)20(
Shoenfield, Joseph Robert
1927-
Degrees of unsolvability
Amsterdam, New York
North-Holland Pub. Co., American Elsevier
1971 )1972(
111 p. 24 cm
North-Holland mathematics studies, 2
، Logic, Symbolic and mathematical
، Recursive functions
، Unsolvability )Mathematical logic(
QA
9
.
S518
AU
)By( Joseph R. Shoenfield
TI
SE
02
