Reforming Indicated Type Theories.
پدیدآورنده
نام
Reforming Indicated Type Theories.
زبان اثر
انگلیسی
شناسگر
10.1093/bjaesthetics/ayi002 (شماره مدرک)
10.1093_bjaesthetics_ayi002 (importid)
تاریخ انتشار
2005
قالب (کتاب)
کتاب