This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی
منو
درگاههای جستجو
مدارک
جستجوی پیشرفته
مرور
جستجو در سایر کتابخانه ها
مستندات
جستجوی پیشرفته
مرور
منابع دیجیتال
تمام متن
اصطلاحنامه
درختواره
پرسش و پاسخ
سوالات متداول
پرسش از کتابدار
پیگیری پرسش
ورود
ثبت نام
راهنما
خطا
رکورد قبلی
رکورد بعدی
"
The classical decision problem /
"
Egon Börger, Erich Grädel, Yuri Gurevich
Document Type
:
BL
Record Number
:
594369
Doc. No
:
b423588
Main Entry
:
Börger, E., (Egon),1946-
Title & Author
:
The classical decision problem /\ Egon Börger, Erich Grädel, Yuri Gurevich
Series Statement
:
Perspectives in mathematical logic
Page. NO
:
xii, 482 pages :: illustrations ;; 24 cm
ISBN
:
354057073X
Bibliographies/Indexes
:
Includes bibliographical references (pages[421]-476) and index
Subject
:
Decidability (Mathematical logic)
Dewey Classification
:
511.3
LC Classification
:
QA9.65.B64 1997
Added Entry
:
Grädel, Erich,1958-
:
Gurevich, Yuri
https://lib.clisel.com/site/catalogue/594369
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال
1 - آیا از کیفیت منابع دیجیتال راضی هستید؟
X
کم
متوسط
زیاد
ذخیره
پاک کن