دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب ⊨ISILC Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
دانلود کتاب ⊨ کنفرانس منطق ISILC: مجموعه مقالات مؤسسه تابستانی بین المللی و گفتگوی منطق، کیل 1974
مشخصات کتاب
⊨ISILC Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
ویرایش: [1 ed.] نویسندگان: Zofia Adamowicz (auth.), Prof. Gert H. Müller, Prof. Arnold Oberschelp, Dr. Klaus Potthoff (eds.) سری: Lecture Notes in Mathematics 499 ISBN (شابک) : 9783540075349, 9783540380221 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1975 تعداد صفحات: 651 [656] زبان: English-French فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 Mb
قیمت کتاب (تومان) : 51,000
در صورت تبدیل فایل کتاب ⊨ISILC Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ⊨ کنفرانس منطق ISILC: مجموعه مقالات مؤسسه تابستانی بین المللی و گفتگوی منطق، کیل 1974 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
An observation on the product of Silver's forcing....Pages 1-9
Recursively unsolvable algorithmic problems and related questions reexamined....Pages 10-24
Lectures on large cardinal axioms....Pages 25-88
Indescribability properties and small large cardinals....Pages 89-114
Marginalia to a theorem of Silver....Pages 115-142
Computation theories: An axiomatic approach to recursion on general structures....Pages 143-168
Closed models and hulls of theories....Pages 169-189
Axioms of choice in Morse-Kelley class theory....Pages 190-247
First-order logic and its extensions....Pages 248-310
Set theory in infinitary languages....Pages 311-362
Sur la méthode en histoire de la logioue....Pages 363-383
The model theory of local fields....Pages 384-425
Quantifier elimination....Pages 426-444
Intensional semantics for natural language....Pages 445-459
On extendability of models of ZF set theory to the models of Kelley-Morse theory of classes....Pages 460-542
Many-valued algorithmic logic....Pages 543-567
The least ∑ 2 1 and ∏ 2 1 reflecting ordinals....Pages 568-578
Data types as lattices....Pages 579-651
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Flotsam
دانلود کتاب Network anomaly detection: a machine learning perspective
دانلود کتاب Writing and Enjoying Haiku: A Hands-on Guide
دانلود کتاب Du statère au sesterce monnaie et romanisation dans la Gaule du Nord et de l’Est : IIIe s. a.C.-Ier s. p.C
