عنوان
پدید آورنده
موضوع
رده
BC135 .E358 1987
BC135
.
E358
1987
کتابخانه
محل استقرار
شابک
شابک
9400936737
شابک
9789400936737
شماره کتابشناسی ملی
شماره
b556482
عنوان و نام پديدآور
عنوان اصلي
Initiatives in Logic
نام عام مواد
[Book]
نام نخستين پديدآور
edited by Jan Srzednicki.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht
نام ناشر، پخش کننده و غيره
Springer Netherlands
تاریخ نشرو بخش و غیره
1987
مشخصات ظاهری
نام خاص و کميت اثر
(272 pages)
فروست
عنوان فروست
Reason and argument, 2.
یادداشتهای مربوط به مندرجات
متن يادداشت
Leibniz's Calculus of Strict Implication.- Leibniz's Modal Calculus of Concepts.- The Logic of Conditions.- Philosophical Pragmatism in Poincare.- A Note on Zeno B3.- Generalizations and Strengthenings of Goedel's Incompleteness Theorem.- The Logical Work of Mordchaj Wajsberg.- Notes on Wajsberg's Proof of the Separation Theorem.- Logical Analysis of Thomism The Polish Programme that originated in 1930's.- On Justification of Questions.- The Logic of Types.- Systems of Computer-Aided Reasoning for Mathematics and Natural Language.- Two Reports on Educational Applications of MIZAR MSE, a System of Computer-Aided Reasoning The application of MIZAR MSE in a course in logic.- The use of MIZAR MSE in a course in foundations of geometry.- Literature.- Index of Names.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic.
موضوع مستند نشده
Philosophy (General)
رده بندی کنگره
شماره رده
BC135
نشانه اثر
.
E358
1987
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by Jan Srzednicki.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Jan Srzednicki
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
