ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب 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

مشخصات کتاب

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

ویرایش:  
نویسندگان: , ,   
سری: 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: فلسفه علم، منطق، تاریخ



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 13


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




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