• usp_easy_retunsاسترجاع مجاني وسهل
  • usp_best_dealsأفضل العروض
placeholder
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
placeholder
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
magnifyZoom

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

189.00
nudge icon
توصيل مجاني
nudge icon
باقي 2 وحدات في المخزون
nudge icon
توصيل مجاني
noon-marketplace
احصل عليه خلال 30 يوليو - 1 اغسطس
اطلب في غضون 13 ساعة 59 دقيقة

خصم على الدفع

نظرة عامة على المنتج

المواصفات

الناشرOxford University Press
رقم الكتاب المعياري الدولي 10019289594X
اللغةEnglish
تاريخ النشر2021-10-17
رقم الكتاب المعياري الدولي 139780192895943
الكاتبPaolo Mancosu
وصف الكتابAn Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.
عدد الصفحات432 pages
مجموع السلة  189.00
placeholder
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
189.00
الكمية قليل: باقي 2 فقط
0

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

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

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

App StoreGoogle PlayHuawei App Gallery

تواصل معنا

mastercardvisatabbytamaraamexcod