This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی
منو
درگاههای جستجو
مدارک
جستجوی پیشرفته
مرور
جستجو در سایر کتابخانه ها
مستندات
جستجوی پیشرفته
مرور
منابع دیجیتال
تمام متن
اصطلاحنامه
درختواره
پرسش و پاسخ
سوالات متداول
پرسش از کتابدار
پیگیری پرسش
ورود
ثبت نام
راهنما
خطا
رکورد قبلی
رکورد بعدی
"
Baybars al-Manṣūrī - Encyclopaedia of Islam, THREE
"
Guo, Li
Document Type
:
BL
Record Number
:
726177
Doc. No
:
b545909
Main Entry
:
Melvin Fitting ...
Title & Author
:
Proof methods for modal and intuitionistic logics\ Melvin Fitting ...
Publication Statement
:
Dordrecht ; Boston ; Lancaster: D. Reidel, cop., 2010
Page. NO
:
1 vol. (viii-555 p.) ; 23 cm
ISBN
:
9048183812
:
: 9789048183814
Notes
:
La couv. porte en plus: "Edited by Donald Davidson."
Contents
:
One / Background.- Two / Analytic Modal Tableaus and Consistency Properties.- Three / Logical Consequence, Compactness, Interpolation, and Other Topics.- Four / Axiom Systems and Natural Deduction.- Five / Non-Analytic Logics.- Six / Non-Normal Logics.- Seven / Quantifiers.- Eight / Prefixed Tableau Systems.- Nine / Intuitionistic Logic.- Special Notation.
Subject
:
ALei1371.pdf
:
:
:
:
https://lib.clisel.com/site/catalogue/1060974
کپی لینک
پیشنهاد خرید
پیوستها
عنوان :
نام فایل :
نوع عام محتوا :
نوع ماده :
فرمت :
سایز :
عرض :
طول :
ALei1371_4102.pdf
ALei1371.pdf
مقاله لاتین
متن
application/pdf
225.08 KB
85
85
نمایش
نظرسنجی
نظرسنجی منابع دیجیتال
1 - آیا از کیفیت منابع دیجیتال راضی هستید؟
X
کم
متوسط
زیاد
ذخیره
پاک کن