دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic, Foundations of Mathematics, and Computability Theory: Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975
دانلود کتاب منطق، مبانی ریاضیات و نظریه محاسباتی: قسمت اول مقالات پنجمین کنگره بین المللی منطق، متدولوژی و فلسفه علوم، لندن، انتاریو، کانادا 1975
مشخصات کتاب
Logic, Foundations of Mathematics, and Computability Theory: Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975
ویرایش: نویسندگان: Yu. L. Ershov (auth.), Robert E. Butts, Jaakko Hintikka (eds.) سری: The University of Western Ontario Series in Philosophy of Science 9 ISBN (شابک) : 9789401011402, 9789401011389 ناشر: Springer Netherlands سال نشر: 1977 تعداد صفحات: 400 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 13 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب منطق، مبانی ریاضیات و نظریه محاسباتی: قسمت اول مقالات پنجمین کنگره بین المللی منطق، متدولوژی و فلسفه علوم، لندن، انتاریو، کانادا 1975: فلسفه علم، منطق، تاریخ
در صورت تبدیل فایل کتاب Logic, Foundations of Mathematics, and Computability Theory: Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق، مبانی ریاضیات و نظریه محاسباتی: قسمت اول مقالات پنجمین کنگره بین المللی منطق، متدولوژی و فلسفه علوم، لندن، انتاریو، کانادا 1975 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Front Matter....Pages i-x
Front Matter....Pages 1-1
Constructions ‘by Finite’....Pages 3-9
Some Eastern Two Cardinal Theorems....Pages 11-31
Functional Interpretation and Kripke Models....Pages 33-57
Axioms for Intuitionistic Mathematics Incompatible with Classical Logic....Pages 59-84
Front Matter....Pages 85-85
Ineffability Properties of Cardinals II....Pages 87-106
Non-Standard Analysis....Pages 107-119
Some Purely Mathematical Results Inspired by Mathematical Logic....Pages 121-127
Interpretability of Elementary Theories....Pages 129-145
Front Matter....Pages 147-147
Categorical Foundations and Foundations of Category Theory....Pages 149-169
Front Matter....Pages 171-171
Re Sets Higher up....Pages 173-194
Computable Numberings....Pages 195-206
On the Basic Notions in the Theory of Induction....Pages 207-236
Basic Concepts of Computer Science and Logic....Pages 237-266
Structural Relations Between Programs and Problems....Pages 267-280
Algorithmic Logic, a Tool for Investigations of Programs....Pages 281-295
Front Matter....Pages 297-297
On a Semantical Language Hierarchy in a Constructive Mathematical Logic....Pages 299-306
Front Matter....Pages 307-307
Large Sets....Pages 309-333
What is the Iterative Conception of Set?....Pages 335-367
Front Matter....Pages 369-369
Do-it-Yourself Semantics for Classical Sequent Calculi, Including Ramified Type Theory....Pages 371-390
Some Philosophical Problems of Hintikka’s Possible Worlds Semantics....Pages 391-403
Back Matter....Pages 405-407
