1. A course on mathematical logic
المؤلف: Srivastava, Shashi Mohan
المکتبة: (طهران)
موضوع: Textbooks ، Logic, Symbolic and mathematical,، Godel's theorem
رده :
QA
9
.
S684C6
2013
2. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
المؤلف: Hermes, Hans.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده :
QA
248
.
5
.
H4
1971
3. Computability : computable functions, logic, and the foundations of mathematics
المؤلف: Epstein, Richard L.
المکتبة: (طهران)
موضوع: ، Computable functions,، Logic, Symbolic and mathematical,، Godel's theorem
رده :
QA
9
.
59
.
E67
2000
4. Enumerability, decidability, computability. An introduction to the theory of recursive functions
المؤلف: Harmes, Hans
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Recursive functions,، Algebraithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969
5. Enumerability, decidability, computability. An introduction to the theory of recursive functions
پدیدآورنده : Hermes, Hans.
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Enumerability decidability computability : an introduction to the theory of recursive functions
المؤلف: Hermes, Hans
المکتبة: (طهران)
موضوع: ، Recursive functions,، Algorithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969
7. Gia to theōrēma mē-plērotētas tou Godel /
المؤلف: V.A. Uspensky ; metaphrasē Thanos Christakopoulos.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Gödel's theorem.,Incompleteness theorems.,Gödel's theorem.,Incompleteness theorems.
رده :
QA9
.
65
.
U8615
1998
8. Godel's incompleteness theorems
المؤلف: Smullyan, Raymond Merrill, 9191-
المکتبة: (طهران)
موضوع: ، Godel's theorem
رده :
QA
9
.
65
.
S68G6
9. Godel's incompleteness theorems
المؤلف: / Raymond M. Smullyan
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Godel's theorem
رده :
QA9
.
65
.
S69
1992
10. Godel's incompleteness theorems
المؤلف: Raymond M. Smullyan
المکتبة: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)
موضوع: Godel's theorem
11. Godel's incompleteness theorems
المؤلف: / Raymond M. Smullyan
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Godel's theorem
رده :
QA9
.
65
.
S69
1992
12. Godel's incompleteness theorems
المؤلف: / Raymond M. Smullyan
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Godel's theorem
رده :
QA9
.
65
.
S69
1992
13. Godel's proof
المؤلف: Nagel, Ernest
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Godel's theorem
رده :
QA
9
.
N3
2005
14. Godel's proof
المؤلف: Nagel, Ernest
المکتبة: (طهران)
موضوع: ، Godel's theorem
رده :
QA
9
.
N3
1958
15. Godel's proof
المؤلف: Nagel, Ernest, 1091-
المکتبة: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع: ، Godel's theorem
رده :
QA
9
.
65
.
N3G6
2005
16. Godel's proof
المؤلف: Nagel, Ernest, 1091-5891
المکتبة: (طهران)
موضوع: ، Godel's theorem
رده :
QA
9
.
65
.
N23G6
17. Godel's proof /
المؤلف: by Ernest Nagel and James R. Newman.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Gödel's theorem.
رده :
QA9
.
65
.
N34
2002
18. Godel,s proof
المؤلف: / Ernest Nagel and James R. Newman,Nagel
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Godel,s theorem
رده :
QA
9
.
65
.
N34
19. Godel's proof
المؤلف: Nagel, Ernest, 1091-
المکتبة: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع: ، Godel's theorem
رده :
QA
9
.
65
.
N3G6
20. Godel's proof
المؤلف: Ernest Nagel and James R. Newman
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع: Godel's theorem
رده :
QA
,
9
,.
N3
,
1993
