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