مشخصات کتاب

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 مگابایت 

در صورت تبدیل فایل کتاب 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

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Environment: The Science Behind the Stories, Third Canadian Edition

دانلود کتاب Электрофизика пористого кремния и структур на его основе(Диссертация)

دانلود کتاب Lonely Planet Madrid 10 (Travel Guide)

دانلود کتاب ISO 9000:2005 Quality management systems — Fundamentals and vocabulary

دانلود کتاب They Bite