Proof interpretations

معرفی کتاب «Proof interpretations» نوشتهٔ Kohlenbach U.، منتشرشده توسط نشر BRICS در سال 1998. این کتاب در فرمت pdf، زبان انگلیسی ارائه شده است. «Proof interpretations» در دستهٔ بدون دسته‌بندی قرار دارد.