شاركنا تاريخ ميلادك!
تاريخ الميلاد
تاريخ الميلاد المدخل غير مكتمل يرجى ادخال تاريخ ميلاد صحيح
×
Articles on Proof Theory, Including: Relevance Logic, Substructural Logic, Linear Logic, Affine Logic, Strict Logic, Noncommutative Logic, Bunched Log by Hephaestus Books - Paperback
107.10 درهم

Articles on Proof Theory, Including: Relevance Logic, Substructural Logic, Linear Logic, Affine Logic, Strict Logic, Noncommutative Logic, Bunched Log by Hephaestus Books - Paperback

كن أول من يقيِّم هذا المنتج 

107.10 درهم 

  - ستوفر -107.10 درهم
الأسعار تشمل ضريبة القيمة المضافة  التفاصيل
رقم ال ISBN
9781244590625
الفئات
العلوم الاجتماعية
الكاتب
Hephaestus Books
الناشر
Hephaestus Books
الوصف:

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Hephaestus Books represents a new publishing paradigm, allowing disparate content sources to be curated into cohesive, relevant, and informative books. To date, this content has been curated from Wikipedia articles and images under Creative Commons licensing, ...

تشحن من الولايات المتحدة
اشحن الى دبي (تغيير المدينة)
التوصيل خلال الثلاثاء ٢٨ أغسطس - الخميس ٣٠ أغسطس الي دبي

حالة السلعة:
جديدة
البائع:
InternationalBookStore (87% تقييم ايجابي)

معلومات المنتج

  •  

    المواصفات

    رقم ال ISBN
    9781244590625
    الفئات
    العلوم الاجتماعية
    اللغات
    الانجليزية
    الرقم المميز للسلعة
    2724380165705
    المؤلفين
    الكاتب
    Hephaestus Books
    رقم ال ISBN
    9781244590625
    الفئات
    العلوم الاجتماعية
    اللغات
    الانجليزية
    الرقم المميز للسلعة
    2724380165705
    المؤلفين
    الكاتب
    Hephaestus Books
    المؤلفين
    الناشر
    Hephaestus Books
    معلومات تقنية
    غلاف الكتاب
    غلاف عادي
    اللغات والبلدان
    لغة الكتاب
    الانجليزية
    إقرأ المزيد
  •  

    الوصف:

    Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Hephaestus Books represents a new publishing paradigm, allowing disparate content sources to be curated into cohesive, relevant, and informative books. To date, this

    Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Hephaestus Books represents a new publishing paradigm, allowing disparate content sources to be curated into cohesive, relevant, and informative books. To date, this content has been curated from Wikipedia articles and images under Creative Commons licensing, although as Hephaestus Books continues to increase in scope and dimension, more licensed and public domain content is being added. We believe books such as this represent a new and exciting lexicon in the sharing of human knowledge. This particular book contains chapters focused on Proof theory, Substructural logic, and Rules of inference. More info: Proof theory is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as plain lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of the logical system. As such, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature. Together with model theory, axiomatic set theory, and recursion theory, proof theory is one of the so-called four pillars of the foundations of mathematics.

    خصائص المنتج:
    • الفئات: العلوم الاجتماعية
    • غلاف الكتاب: غلاف عادي
    • لغة الكتاب: الانجليزية
    • الكاتب: Hephaestus Books
    • الناشر: Hephaestus Books
    • رقم ال ISBN: 9781244590625
    • عدد الصفحات: 386
    • لأبعاد (الارتفاع*العرض*العمق): 9.69 x 7.44 x 0.8 inches
 

تقييمات المستخدمين

0
لا يوجد تقييمات بعد
كن أول من يقيِّم هذا المنتج
قيِّم هذا المنتج:

إعلانات مُموَّلة لك

×

الرجاء تأكيد رقم هاتفك الجوال لإكمال عملية الشراء

سنقوم بإرسال رسالة نصية تحتوي على رمز التفعيل، الرجاء التأكد من رقم هاتفك الجوال ادناه، ثم انقر على زر "أرسل رمز التفعيل".