• usp_easy_retunsاسترجاع مجاني وسهل
  • usp_best_dealsأفضل العروض

Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi

501.00
555.00 
شامل ضريبة القيمة المضافة
وفرّت:
54.00 
خصم 9%
nudge icon
توصيل مجاني
nudge icon
باقي 1 وحدات في المخزون
nudge icon
توصيل مجاني
noon-marketplace
احصل عليه خلال 23 مايو
اطلب في غضون 38 دقيقة
التوصيل 
بواسطة نوون
التوصيل بواسطة نوون
الدفع 
عند الاستلام
الدفع عند الاستلام
عملية 
تحويل آمنة
عملية تحويل آمنة
نظرة عامة على المنتج
المواصفات
الناشرSpringer Nature Switzerland AG
رقم الكتاب المعياري الدولي 139783030571443
رقم الكتاب المعياري الدولي 103030571440
الكاتبAndrzej Indrzejczak
تنسيق الكتابHardcover
عن المؤلفAndrzej Indrzejczak is a logician working on the problems of proof theory and its applications to non-classical logics. He is an author of several papers on natural deduction and sequent systems for modal and temporal logics, and of the monograph Natural Deduction, Hybrid Systems and Modal Logics (Springer, 2010). Read more
LanguageEnglish
تاريخ النشر2020-12-17
عدد الصفحات345 pages
placeholder
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
تمت الإضافة لعربة التسوقatc
مجموع السلة  501.00

نحن دائماً جاهزون لمساعدتك

تواصل معنا من خلال أي من قنوات الدعم التالية:

تسوق أينما كنت

App StoreGoogle PlayHuawei App Gallery

تواصل معنا

madamastercardvisatabbytamaraamexcod
شركة حلول نون للتسويق الالكتروني شركة شخص واحد ش.ذ.م.م1010703009 السجل التجاري302004655210003 الرقم الضريبي