عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Deducibility and decidability
پدید آورنده
Gill, R. R. Rockingham
موضوع
، Logic, Symbolic and mathematical,، Decidability )Mathematical logic(
رده
BC
135
.
G495
1990
کتابخانه
المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان
محل استقرار
استان:
کرمان
ـ شهر:
کرمان
تماس با کتابخانه :
03433257204
English
Deducibility and decidability
London, New York
Routledge
c1990
viii, 162 p. : ill. ; 23 cm
Includes bibliographical references )p. 150-155( and index
R.R. Rockingham Gill
1
، Logic, Symbolic and mathematical
، Decidability )Mathematical logic(
BC
135
.
G495
1990
CA
160
4491-
Gill, R. R. Rockingham
AU
TI
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح