دانلود کتاب First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
by M. Makkai
|
عنوان فارسی: منطق مرتبه ی اول قطعی. روش مدل نظری در نظریه ها دسته بندی ها topoi و مرتبط |