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

منطق ریاضی و کاربردها Proc.meeting، کیوتو، 1987

Mathematical logic and applications. Proc.meeting, Kyoto, 1987

دانلود کتاب Mathematical logic and applications. Proc.meeting, Kyoto, 1987 (به فارسی: منطق ریاضی و کاربردها Proc.meeting، کیوتو، 1987) نوشته شده توسط «Juichi Shinoda – Theodore A. Slaman – Tosiyuki Tugue»

اطلاعات کتاب منطق ریاضی و کاربردها Proc.meeting، کیوتو، 1987

موضوع اصلی: ریاضیات

نوع: کتاب الکترونیکی

ناشر: Springer

نویسنده: Juichi Shinoda – Theodore A. Slaman – Tosiyuki Tugue

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1989

تعداد صفحه: 227

حجم کتاب: 3 مگابایت

کد کتاب: 9783540515272 , 3540515275

نوبت چاپ: 1

توضیحات کتاب منطق ریاضی و کاربردها Proc.meeting، کیوتو، 1987

این اقدامات شامل مقالات ارائه شده در نشست منطقی است که در مؤسسه تحقیقاتی علوم ریاضی دانشگاه کیوتو در تابستان 1987 برگزار شد. این جلسه عمدتاً تحقیقات جاری در زمینه های مختلف منطق ریاضی و کاربردهای آن در ژاپن را پوشش داد. چندین سخنرانی نیز توسط منطق دانان کشورهای دیگر ارائه شد که در تابستان 1987 از ژاپن دیدن کردند.

These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987.

دانلود کتاب «منطق ریاضی و کاربردها Proc.meeting، کیوتو، 1987»

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

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

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