مدلها، جبرها و اثباتها: مجموعه مقالات سمپوزیوم آمریکای لاتین در منطق ریاضی، 1996، بوگوتا، کلمبیا، جلد. 203
Models, Algebras and Proofs: Proceedings Latin-American Symposium on Mathematical Logic,1996, Bogota, Colombia, Vol. 203
نویسنده: Caicedo X.
سال انتشار: 1998
تعداد صفحات: 447
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 16 مگابایت