• الرئیسیة
  • البحث المتقدم
  • قائمة المکتبات

عنوان
Aspects of incompleteness

پدید آورنده
/ Per Lindstrom

موضوع
Incompleteness theorems,Recursion theory

رده
‭
QA
9
.
65
‬ ‭.
L56
1997
‬

کتابخانه
كتابخانه مركزي و مركز اسناد دانشگاه مازندران

محل استقرار
استان: مازندران ـ شهر: بابلسر

كتابخانه مركزي و مركز اسناد دانشگاه مازندران

تماس با کتابخانه : 62-35302861-011

(V.1)
3540632131

6250

eng

Aspects of incompleteness
/ Per Lindstrom

Berlin
: Springer
, 1997.

x,132p.

(Lecture notes in logic
; 10)

Language: انگلیسی

Print

Includes bibliographical reefrences

Incompleteness theorems
Recursion theory

Lindstrom, Per, 1936-

old catalog

الاقتراح / اعلان الخلل

تحذیر! دقق في تسجیل المعلومات
ارسال عودة
تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال