دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: نویسندگان: 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 مگابایت
کلمات کلیدی مربوط به کتاب منطق، مبانی ریاضیات و نظریه محاسباتی: قسمت اول مقالات پنجمین کنگره بین المللی منطق، متدولوژی و فلسفه علوم، لندن، انتاریو، کانادا 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