ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Initiatives in Logic

دانلود کتاب ابتکارات در منطق

Initiatives in Logic

مشخصات کتاب

Initiatives in Logic

ویرایش: 1 
نویسندگان: ,   
سری: Reason and Argument 2 
ISBN (شابک) : 9789401081443, 9789400936737 
ناشر: Springer Netherlands 
سال نشر: 1987 
تعداد صفحات: 271 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 21 مگابایت 

قیمت کتاب (تومان) : 53,000



کلمات کلیدی مربوط به کتاب ابتکارات در منطق: منطق



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

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


در صورت تبدیل فایل کتاب Initiatives in Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ابتکارات در منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب ابتکارات در منطق



..، مجموعه بررسی شده ممکن است به عنوان کمک مهمی به تاریخ و همچنین شرح برخی از تحقیقات منطقی اخیر توصیه شود.
Studia Logica 12 (1) 1990


توضیحاتی درمورد کتاب به خارجی

` .., the reviewed collection may be recommended as an important contribution to the history as well as a description of some recent logical investigations. '
Studia Logica 12 (1) 1990



فهرست مطالب

Front Matter....Pages i-x
Leibniz’s Calculus of Strict Implication....Pages 1-35
Leibniz’s Modal Calculus of Concepts....Pages 36-51
The Logic of Conditions....Pages 52-69
Philosophical Pragmatism in Poincare....Pages 70-80
A Note on Zeno B3....Pages 81-83
Generalizations and Strengthenings of Gödel’s Incompleteness Theorem....Pages 84-100
The Logical Work of Mordchaj Wajsberg....Pages 101-115
Notes on Wajsberg’s Proof of the Separation Theorem....Pages 116-127
Logical Analysis of Thomism....Pages 128-155
On Justification of Questions....Pages 156-179
The Logic of Types....Pages 180-206
Systems of Computer-Aided Reasoning for Mathematics and Natural Language....Pages 207-223
An Application of Mizar MSE in a Course in Logic....Pages 224-230
The Use of Mizar MSE in a Course in Foundations of Geometry....Pages 231-232
Back Matter....Pages 233-261




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