عنوان
پدید آورنده
موضوع
رده
QA 9 .59 .E67 2000
QA
9
.
59
.
E67
2000
کتابخانه
محل استقرار
122464
پاییز۹۷
English
)20(
Epstein, Richard L.
1947-
Computability: computable functions, logic, and the foundations of mathematics
Belmont, CA
Wadsworth/Thomson Learning
2000
299, 38 p.: ill.; 24 cm.
"With Computability and undecidability--a timeline, the story of the development of computable functions and the undecidability of arithmetic to 1970, Richard L. Epstein"
One folded leaf of illustrative matter laid in
Includes bibliographical references and index
2nd ed.
، Computable functions
، Logic, Symbolic and mathematical
، Gudel's theorem
QA
9
.
59
.
E67
2000
AU
AU (erdnaxelA retlaW) .A retlaW ,illeinraC
AT Epstein, Richard L., 1947- .Computability and undecidability--a timeline
TI
02
