کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابInduction, bounding, weak combinatorial principles, and the homogeneous model theorem
پدیدآورنده: Denis R. Hirschfeldt, Karen Lange, Richard A. Shore
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Reverse mathematics,، Computable functions,، Decidability )Mathematical logic(
رده :
QA
3
.
A475
no
.
1187
