نرم افزار: سیستم ها: محاسبات علمی

مدل‌ها، جبرها و اثبات‌ها: مجموعه مقالات سمپوزیوم آمریکای لاتین در منطق ریاضی، 1996، بوگوتا، کلمبیا، جلد. 203

Models, Algebras and Proofs: Proceedings Latin-American Symposium on Mathematical Logic,1996, Bogota, Colombia, Vol. 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 مگابایت

توضیحات کتاب مدل‌ها، جبرها و اثبات‌ها: مجموعه مقالات سمپوزیوم آمریکای لاتین در منطق ریاضی، 1996، بوگوتا، کلمبیا، جلد. 203

حاوی گزارشی متوازن از پیشرفت‌های اخیر در نظریه مجموعه‌ها، نظریه مدل، منطق جبری و نظریه اثبات است که در اصل در دهمین سمپوزیوم منطق ریاضی آمریکای لاتین که در بوگاتا، کلمبیا برگزار شد، ارائه شد. دارای تحقیقات اصلی از بیش از 30 متخصص مشهور در سراسر جهان است.”

“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.”

دانلود کتاب «مدل‌ها، جبرها و اثبات‌ها: مجموعه مقالات سمپوزیوم آمریکای لاتین در منطق ریاضی، 1996، بوگوتا، کلمبیا، جلد. 203»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان