دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Initiatives in Logic
دانلود کتاب ابتکارات در منطق
مشخصات کتاب
Initiatives in Logic
ویرایش: 1 نویسندگان: Wolfgang Lenzen (auth.), Jan Srzednicki (eds.) سری: Reason and Argument 2 ISBN (شابک) : 9789401081443, 9789400936737 ناشر: Springer Netherlands سال نشر: 1987 تعداد صفحات: 271 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 21 مگابایت
قیمت کتاب (تومان) : 53,000
کلمات کلیدی مربوط به کتاب ابتکارات در منطق: منطق
در صورت تبدیل فایل کتاب 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
نظرات کاربران
کتاب های تصادفی
دانلود کتاب DB2 9 for Linux, UNIX, and Windows: DBA Guide, Reference, and Exam Prep (6th Edition)
دانلود کتاب Executing Data Quality Projects: Ten Steps to Quality Data and Trusted Information (TM)
دانلود کتاب Down with Childhood: Pop Music and the Crisis of Innocence
