برای استفاده از امکانات سیستم، گزینه جاوا اسکریپت در مرورگر شما باید فعال باشد
صفحه
از
0
رویکردی اثباتی به معنای ثوابت منطقی (نظریه انواع مارتین لاف)
روان، علیرضا.
اطلاعات کتابشناختی
رویکردی اثباتی به معنای ثوابت منطقی (نظریه انواع مارتین لاف)
پدیدآور اصلی :
روان، علیرضا.
ناشر :
صنعتی شریف
سال انتشار :
1382
موضوع ها :
نظریه برهان Proof Theory نظریه شهودی انواع Intuitionistic Type Theory نظریه معنا Meaning...
شماره راهنما :
42-34517
جستجو در محتوا
ترتيب
شماره صفحه
امتياز صفحه
فهرست مطالب