1. Computability: Computable Functions, Logic, And The Foundations Of Mathematics
پدیدآورنده: \ Richard L. Epstein, Walter A. Carnielli
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: توابع محاسبه‌پذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical
رده :
QA
9
,.
59
.
E67
2. Computability : computable functions, logic, and the foundations of mathematics
پدیدآورنده: Epstein, Richard L.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computable functions,، Logic, Symbolic and mathematical,، Gudel's theorem
رده :
QA
9
.
59
.
E67
2000
3. Computability : computable functions, logic, and the foundations of mathematics
پدیدآورنده: by Richard L. Epstein and Walter A. Carnielli
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
E67
1989
4. Computability : computable functions, logic, and the foundations of mathematics
پدیدآورنده: Epstein, Richard L.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computable functions, Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
E67
5. Computable functions
پدیدآورنده: A. Shen, N. K. Vereshchagin; translated by V. N. Dubrovskii
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions
رده :
QA
9
.
59
.
V47V913
6. Computable functions /
پدیدآورنده: A. Shen, N.K. Vereshchagin ; translated by V.N. Dubrovskii
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions
رده :
QA9
.
59
.
V4713
2003
7. Introduction to mathematical logic; set theory computable functions model theory
پدیدآورنده: Malitz, Jerome
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, symbolic and mathematical
رده :
511
M426i
8. Introduction to mathematical logic : set theory, computable functions, model theory
پدیدآورنده: Malitz, Jerome
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
M265
1979
9. Introduction to mathematical logic; set theory computable functions model theory
پدیدآورنده: Malitz, Jerome
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, symbolic and mathematical
رده :
511
M426i
10. Introduction to mathematical logic; set theory computable functions model theory
پدیدآورنده : Malitz, J.
موضوع : ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Introduction to mathematical logic : set theory computable functions model theory
پدیدآورنده: Jerome Malitz
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
M265
1979
12. Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
پدیدآورنده: / Robert I. Soare
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Recursive functions,Computable functions
رده :
QA9
.
615
.
S63
1987
13. Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
پدیدآورنده: Soare, Robert Irving
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursive functions,، Computable functions
رده :
QA
9
.
615
.
S63
1987
14. Recursively enumerable sets and degrees: a study of computable functions and computably generated sets generated sets
پدیدآورنده: Soare, Robert Irving 1940-
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Recursive functions
رده :
511
S676r
15. The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده: edited by Martin Davis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Godel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
16. The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده: edited by Martin Davis
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Gedel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
2004
17. The undecidable;basic papers on undecidable propositions, unsolvable problems and computable functions.
پدیدآورنده: Davis, Martin 8291-ed.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
QA
229
.
6
.
D3
U5
1965
