Simple Type Theory A Practical Logic For Expressing And Reasoning About Mathemat - William M. Farmer

٣٤٩٫٠٠ ر.س.‏
+ ١٠٢٫٩٩ ر.س.‏ الشحن

Simple Type Theory A Practical Logic For Expressing And Reasoning About Mathemat - William M. Farmer

البائع:
  • product image

٣٤٩٫٠٠ ر.س.‏

متوفر حالياً
+ ١٠٢٫٩٩ ر.س.‏ الشحن

سياسة الإرجاع لمدة 14 يوما

طرق الدفع:

  • العلامة التجارية: Unbranded
تفاصيل المنتج

تفاصيل المنتج

Simple Type Theory A Practical Logic For Expressing And Reasoning About Mathemat - William M. Farmer

This Unique Textbook, In Contrast To A Standard Logic Text, Provides The Reader With A Logic That Actually Can Benbsp;nbsp;in Practice To Express And Reason About Mathematical Ideas.the Book Is An Introduction Tonbsp;simple Type Theory, A Classical Higher-order Version Of Predicate Logic That Extends First-order Logic. It Presents A Practice-oriented Logic Callednbsp;alonzonbsp;that Is Based On Alonzo Churchs Formulation Of Simple Type Theory Known Asnbsp;churchs Type Theory. Unlike Traditional Predicate Logics, Alonzo Admits Undefined Expressions.
  • العلامة التجارية: Unbranded
  • الفئة: المراجع
  • حَجْم: Paperback
  • اللغة: English
  • المؤلف: William M. Farmer
  • عدد الصفحات: 312
  • تاريخ النشر: 2024-01-03
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 469769824-983724756
  • ISBN: 9783031211140
التوصيل

توصيل

يُرسل خلال ؜-١ أيام

  • STANDARD: ١٠٢٫٩٩ ر.س.‏ - التسليم بين الاثنين 19 أكتوبر 2026 – الاثنين 26 أكتوبر 2026

يُشحن من المملكة المتحدة.

الإرجاع

الإرجاع

نحن نبذل قصارى جهدنا لضمان أن تصلك المنتجات التي تطلبها بالكامل وطبقاً المواصفات التي حددتها. إلا أنه في حال تلقيك طلب غير كامل أو أغراض تختلف عن تلك التي طلبتها أو كان هناك سبب آخر يدعوك لعدم الرضاء عن الطلب، فيمكنك رد الطلب أو أي منتجات يتضمنها الطلب واسترداد ما دفعته من أجل تلك الأغراض بالكامل.

عرض سياسة الرد الكاملة