توضیحات
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