This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی
منو
درگاههای جستجو
مدارک
جستجوی پیشرفته
مرور
جستجو در سایر کتابخانه ها
مستندات
جستجوی پیشرفته
مرور
منابع دیجیتال
تمام متن
اصطلاحنامه
درختواره
پرسش و پاسخ
سوالات متداول
پرسش از کتابدار
پیگیری پرسش
ورود
ثبت نام
راهنما
خطا
رکورد قبلی
رکورد بعدی
"
Proof theory of N4-related paraconsistent logics /
"
Norihiro Kamide, Heinrich Wansing.
Document Type
:
BL
Record Number
:
615945
Doc. No
:
dltt
Main Entry
:
Kamide, Norihiro
Title & Author
:
Proof theory of N4-related paraconsistent logics /\ Norihiro Kamide, Heinrich Wansing.
Series Statement
:
Studies in logic ;; Volume 54
Page. NO
:
x, 401 pages ;; 24 cm.
ISBN
:
1848901674
:
: 9781848901674
Bibliographies/Indexes
:
Includes bibliographical references (pages 377-394) and index.
Subject
:
Inconsistency (Logic)
Subject
:
Inconsistency (Logic)
Added Entry
:
Wansing, H., (Heinrich)
https://lib.clisel.com/site/catalogue/615945
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال
1 - آیا از کیفیت منابع دیجیتال راضی هستید؟
X
کم
متوسط
زیاد
ذخیره
پاک کن