دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Omega-bibliography of mathematical logic. Vol. 3: Model theory
دانلود کتاب امگا-کتابشناسی منطق ریاضی. جلد 3: نظریه مدل
مشخصات کتاب
Omega-bibliography of mathematical logic. Vol. 3: Model theory
ویرایش: نویسندگان: Mueller G.H., et al. (eds.) سری: ISBN (شابک) : 9783662090602 ناشر: Springer سال نشر: 1987 تعداد صفحات: 663 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 32,000
در صورت تبدیل فایل کتاب Omega-bibliography of mathematical logic. Vol. 3: Model theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب امگا-کتابشناسی منطق ریاضی. جلد 3: نظریه مدل نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب امگا-کتابشناسی منطق ریاضی. جلد 3: نظریه مدل
Gert H. Müller رشد تعداد انتشارات تقریباً در تمام زمینه های علمی، مانند منطق (ریاضی) به عنوان نشانه ای از فرهنگ علمی ما تلقی می شود، اما جنبه وحشتناکی نیز دارد. علاوه بر این، با توجه به پیچیدگی، تخصص و در نتیجه تقسیم منطق به سرعت در حال رشد، محققان، دانش‌آموزان و معلمان ممکن است با مشکل مواجه شوند، به خصوص اگر کتابخانه گسترده‌ای در همسایگی خود نداشته باشند: آنها به سادگی نمی دانند چه چیزی را بخواهند! به طور خاص، اگر کسی به طور مبهم بداند که چیزی به طور مبهم با علایق او در برخی متون مرتبط است، ممکن است نتواند آن را حتی با جستجو در نشریات پراکنده در مجلات بررسی پیدا کند. پاسخ به این چالش انگیزه اصلی تدوین این کتابنامه بوده و هست. کتابشناسی شامل (در حال حاضر) شش جلد زیر است (فهرست شده با ویراستاران مربوطه): I. منطق کلاسیک W. Rautenberg 11. Non-classical Logics W. Rautenberg 111. نظریه مدل H. -D. ابینگهاوس چهارم. نظریه بازگشت P. G. Hinman V. مجموعه نظریه A. R. Blass VI. نظریه اثبات؛ ریاضیات سازنده J. E. Kister; D. van Dalen و A. S. Troelstra.
توضیحاتی درمورد کتاب به خارجی
Gert H. Müller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists some where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg 11. Non-classical Logics W. Rautenberg 111. Model Theory H. -D. Ebbinghaus IV. Recursion Theory P. G. Hinman V. Set Theory A. R. Blass VI. ProofTheory; Constructive Mathematics J. E. Kister; D. van Dalen & A. S. Troelstra.
فهرست مطالب
Front Matter....Pages I-XLV
Subject Index....Pages 1-249
Author Index....Pages 251-528
Source Index....Pages 529-582
Miscellaneous Indexes....Pages 583-617
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Microsoft System Center Enterprise Suite Unleashed
دانلود کتاب [Soviet] Dictionary of Philosophy
دانلود کتاب La Biblia De La Astrologia
