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

Logic Colloquium’76: مجموعه مقالات کنفرانسی که در ژوئیه 1976 در آکسفورد برگزار شد

Logic Colloquium'76: Proceedings of a conference held in Oxford in July 1976

دانلود کتاب Logic Colloquium’76: Proceedings of a conference held in Oxford in July 1976 (به فارسی: Logic Colloquium’76: مجموعه مقالات کنفرانسی که در ژوئیه 1976 در آکسفورد برگزار شد) نوشته شده توسط «R.O. Gandy – J.M.E. Hyland (eds.)»

اطلاعات کتاب Logic Colloquium’76: مجموعه مقالات کنفرانسی که در ژوئیه 1976 در آکسفورد برگزار شد

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

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

ناشر: North-Holland

نویسنده: R.O. Gandy – J.M.E. Hyland (eds.)

زبان: English

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

سال انتشار: 1977

تعداد صفحه: 622

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

کد کتاب: 0720422833 , 0444106790 , 9780720422832 , 9780444106797

توضیحات کتاب Logic Colloquium’76: مجموعه مقالات کنفرانسی که در ژوئیه 1976 در آکسفورد برگزار شد

این جلد مجموعه مقالات کنفرانس منطق 76 است که از 19 تا 30 ژوئیه 1976 در آکسفورد برگزار شد. شامل متون (گاهی تغییر یافته یا تقویت شده) اکثر آدرس های دعوت شده و برخی مقالات تکمیلی است. عناوین آدرس هایی که در این جلد ارائه نشده اند، بعد از فهرست مطالب فهرست شده اند. چکیده مقالات ارائه شده در مجله منطق نمادین منتشر خواهد شد.

کنفرانس حول چهار موضوع اصلی تشکیل شد: (1) تاریخ منطق مدرن، (2) کاربردهای نظریه مدل، (3) نظریه کارکردهای پیوسته. و (4) پیچیدگی محاسبات. همچنین سخنرانی هایی در مورد موضوعات دیگر، به ویژه در نظریه مجموعه ها، دعوت شده بود. این تقسیم بندی را در ترتیب مطالب این جلد حفظ کرده ایم.

This volume constitutes the Proceedings of the Logic Colloquium 76 which was held at Oxford from the 19th to 30th July 1976. It contains the texts (sometimes altered or amplified) of most of the invited addresses, and some supplementary papers. The titles of addresses not represented in this volume are listed after the Table of Contents. Abstracts of contributed papers will be published in The Journal of Symbolic Logic.

The conference was built round four main topics: (1) The History of Modern Logic, (2) APtlicationsof Model Theory, (3) The Theory of Continuous Functionars; and (4) he Complexity of Computations. There were also invited addresses on other topics, in particular on Set Theory. We have preserved this division in the arrangement of the contents of this volume.

دانلود کتاب «Logic Colloquium’76: مجموعه مقالات کنفرانسی که در ژوئیه 1976 در آکسفورد برگزار شد»

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

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

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