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

گفتگوی منطقی ’90: Proc. هلسینکی 1990

Logic colloquium '90: Proc. Helsinki 1990

دانلود کتاب Logic colloquium ’90: Proc. Helsinki 1990 (به فارسی: گفتگوی منطقی ’90: Proc. هلسینکی 1990) نوشته شده توسط «Juha M.R. Oikkonen – Jouko Väänänen»

اطلاعات کتاب گفتگوی منطقی ’90: Proc. هلسینکی 1990

موضوع اصلی: منطق

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

ناشر: Springer

نویسنده: Juha M.R. Oikkonen – Jouko Väänänen

زبان: English

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

سال انتشار: 1994

تعداد صفحه: 324

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

کد کتاب: 9783540570943 , 3540570942

نوبت چاپ: 1

توضیحات کتاب گفتگوی منطقی ’90: Proc. هلسینکی 1990

این جلد، مجموعه مقالات کنفرانس منطق 90 است که در هلسینکی، فنلاند، از 15 ژوئیه تا 22 ژوئیه 1990 برگزار شد. این کنگره به مجموعه سالانه نشست های تابستانی اروپایی انجمن منطق نمادین تعلق دارد. این مجموعه شامل 13 مقاله پژوهشی است که عمدتاً توسط سخنرانان دعوت شده کنگره نوشته شده است. آنها همه زمینه‌های منطق ریاضی را از فلسفه ریاضیات از طریق نظریه مدل، نظریه اثبات، نظریه بازگشت و نظریه مجموعه‌ها تا ارتباط منطق با علوم رایانه را نشان می‌دهند.

This volume is the Proceedings of Logic Colloquium 90 held in Helsinki, Finland, from July 15 to July 22, 1990. The congress belongs to the annual series of the European Summer Meetings of the Association for Symbolic Logic. These proceedings contain 13 research papers written mainly by the invited speakers of the congress. They represent all fields of mathematical logic from the philosophy of mathematics through model theory, proof theory, recursion theory and set theory, to connections of logic to computer science.

دانلود کتاب «گفتگوی منطقی ’90: Proc. هلسینکی 1990»

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

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

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