الوصف
This edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast between the theoretical developments, which have been most useful for computer science (eg constructive set and type theories), and more s
تفاصيل الكتاب
تنسيق
كتاب إلكتروني
صفحات
350 صفحات
لغة
الإنجليزية
منشور
يناير 10, 2010
الناشر
Oxford University Press, USA
الطبعات
3 طبعات
رقم ISBN-10
1280754036
رقم ISBN-13
9781280754036