This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی
منو
درگاههای جستجو
مدارک
جستجوی پیشرفته
مرور
جستجو در سایر کتابخانه ها
مستندات
جستجوی پیشرفته
مرور
منابع دیجیتال
تمام متن
اصطلاحنامه
درختواره
پرسش و پاسخ
سوالات متداول
پرسش از کتابدار
پیگیری پرسش
ورود
ثبت نام
راهنما
خطا
رکورد قبلی
رکورد بعدی
"
Recursive functions and metamathematics :
"
Roman Murawski.
Document Type
:
BL
Record Number
:
719309
Doc. No
:
b539000
Main Entry
:
Roman Murawski.
Title & Author
:
Recursive functions and metamathematics : : problems of completeness and decidability, Gödel's theorems\ Roman Murawski.
Publication Statement
:
Dordrecht ; London: Springer, 2011
Series Statement
:
Synthese library, v. 286
Page. NO
:
1 volume ; 24 cm
ISBN
:
9048152984
:
: 9789048152988
Notes
:
Originally published: 1999.
Subject
:
Decidability (Mathematical logic)
Subject
:
Gödel's theorem.
Subject
:
Recursive functions.
Added Entry
:
Roman Murawski
Parallel Title
:
Funkcje rekurencyjne i elementy metamatematyki.
https://lib.clisel.com/site/catalogue/719309
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال
1 - آیا از کیفیت منابع دیجیتال راضی هستید؟
X
کم
متوسط
زیاد
ذخیره
پاک کن