دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 数学における証明と真理 : 様相論理と数学基礎論
دانلود کتاب براهین و حقایق در ریاضیات: منطق معین و مبانی ریاضیات
مشخصات کتاب
数学における証明と真理 : 様相論理と数学基礎論
ویرایش: نویسندگان: 佐野勝彦, 倉橋太志, 薄葉季路 سری: ISBN (شابک) : 9784320111486, 4320111486 ناشر: 共立出版 سال نشر: 2016 تعداد صفحات: 302 زبان: Japanese فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب براهین و حقایق در ریاضیات: منطق معین و مبانی ریاضیات: شومی (سوگاکو)، یوسو (رونریگاکو)
در صورت تبدیل فایل کتاب 数学における証明と真理 : 様相論理と数学基礎論 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب براهین و حقایق در ریاضیات: منطق معین و مبانی ریاضیات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
目次 第1部 様相論理入門(正規様相論理の構文論・意味論・ヒルベルト式公理系 正規様相論理の有限フレーム性・決定可能性 様相論理の発展と歴史的背景) 第2部 証明可能性論理(不完全性定理と証明可能性論理 ソロヴェイの算術的完全性定理 証明可能性論理の発展) 第3部 強制法と様相論理(公理的集合論の概要 強制法と多元宇宙論 強制様相論理) 第4部 真理と様相(真理に関するタルスキの定理と型付きの真理述語 クリプキの真理論―型をもたない真理論(1) 真理から様相へ―型をもたない真理論(2))
