کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابA transfinite type theory with type variables
پدیدآورنده: / by P.B. Andrews
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Type theory
رده :
QA
9
.
A64

