Applied proof theory : proof interpretations and their use in mathematics
فرمت کتاب
print book
زبان
english
تاریخ انتشار
2008
نویسنده
Ulrich Kohlenbachشابک
978-3-540-77532-4
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران