Introduction to Category Theory and Categorical Logic [Lecture notes]

معرفی کتاب «Introduction to Category Theory and Categorical Logic [Lecture notes]» نوشتهٔ Thomas Streicher، منتشرشده توسط نشر 2017 در سال 2017. این کتاب در فرمت pdf، زبان انگلیسی ارائه شده است.