ترجمه فارسی توضیحات (ترجمه ماشینی)
مدلها، جبرها و اثباتها: مجموعه مقالات سمپوزیوم آمریکای لاتین در منطق ریاضی، 1996، بوگوتا، کلمبیا، جلد. 203
حاوی گزارشی متعادل از پیشرفتهای اخیر در نظریه مجموعهها، نظریه مدل، منطق جبری و نظریه اثبات است که در اصل در دهمین سمپوزیوم منطق ریاضی آمریکای لاتین که در بوگاتا، کلمبیا برگزار شد، ارائه شد. دارای تحقیقات اصلی بیش از 30 متخصص مشهور در سراسر جهان است.”
Models, Algebras and Proofs: Proceedings Latin-American Symposium on Mathematical Logic,1996, Bogota, Colombia, Vol. 203
“Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth Latin American Symposium on Mathematical Logic held in Bogata, Columbia. Traces new interactions among logic, mathematics, and computer science. Features original research from over 30 well-known experts worldwide.”
نقد و بررسیها
هنوز بررسیای ثبت نشده است.