دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: Softcover reprint of hardcover 1st ed. 1999 نویسندگان: Andrea Cantini, Ettore Casari, Pierluigi Minari سری: SL 280 ISBN (شابک) : 9048152011, 9789048152018 ناشر: Springer سال نشر: 2010 تعداد صفحات: 292 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
کلمات کلیدی مربوط به کتاب منطق و مبانی ریاضیات: مقالات منتخب دهمین کنگره بین المللی منطق، روش شناسی و فلسفه علم، فلورانس، آگوست 1995: منطق، ریاضیات محض، ریاضیات، علوم و ریاضیات، منطق و زبان، فلسفه، سیاست و علوم اجتماعی، منطق، فلسفه، علوم انسانی، کتاب های درسی جدید، مستعمل و اجاره ای، بوتیک تخصصی، ریاضیات، جبر و مثلثات، حساب سنجی علوم و ریاضیات، کتاب های درسی جدید، مستعمل و اجاره ای، بوتیک تخصصی
در صورت تبدیل فایل کتاب Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق و مبانی ریاضیات: مقالات منتخب دهمین کنگره بین المللی منطق، روش شناسی و فلسفه علم، فلورانس، آگوست 1995 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
Front Matter....Pages i-viii
Operations, Collections and Sets within a General Axiomatic Framework....Pages 1-24
Some Ins and Outs of Indispensability: A Modal-Structural Perspective....Pages 25-39
Carnap’s Remarks on Impredicative Definitions and the Genericity Theorem....Pages 41-55
Gödel, Turing, and K-Graph Machines....Pages 57-66
Linear Recurrence Relations are Δ 0 Definable....Pages 67-81
On Applicative Theories....Pages 83-92
The Use of a Logical Principle of Uniform Boundedness in Analysis....Pages 93-106
Epsilon-Substitution Method for the Ramified Language and $$\\Delta _1^1$$ -Comprehension Rule....Pages 107-130
The Abstract Compactness Theorem Revisited....Pages 131-141
On Sets Enclosed Between a Set and Its Double Complement....Pages 143-154
Binary Relations in the Social and Mathematical Sciences....Pages 155-163
Basic Logic and the Cube of its Extensions....Pages 165-186
Some Observations on Noncommutative Substructural Logics....Pages 187-194
On Predicate Logic as Modal Logic....Pages 195-207
A First-Order Effect and Modal Propositional Formulas....Pages 209-217
Herbrand’s Theorem for a Modal Logic....Pages 219-225
Intuitionistic Modal Logic....Pages 227-238
Dynamic Datastructures....Pages 239-247
Resolution and the Decision Problem....Pages 249-269
Modal Logic, Linear Logic, Optimal Lambda-Reduction....Pages 271-282
Back Matter....Pages 283-284