دانلود کتاب First Order Logic with Dependent Sorts, with Applications to Category Theory (Unpublished manuscript)
by Makkai, Michael
|
عنوان فارسی: منطق مرتبه اول با مرتبسازی وابسته، با کاربرد در نظریه دستهبندی (نسخه خطی منتشر نشده) |