دانلود کتاب Models, algebras, and proofs: selected papers of the X Latin American Symposium on Mathematical Logic held in Bogota
by Xavier Caicedo
|
عنوان فارسی: مدل های جبری، و اثبات: مقالات انتخاب شده در این سمپوزیوم آمریکایی X لاتین در منطق ریاضی در Bogota برگزار |