This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی
منو
درگاههای جستجو
مدارک
جستجوی پیشرفته
مرور
جستجو در سایر کتابخانه ها
مستندات
جستجوی پیشرفته
مرور
منابع دیجیتال
تمام متن
اصطلاحنامه
درختواره
پرسش و پاسخ
سوالات متداول
پرسش از کتابدار
پیگیری پرسش
ورود
ثبت نام
راهنما
خطا
رکورد قبلی
رکورد بعدی
"
Dag Prawitz on proofs and meaning /
"
Heinrich Wansing, editor
Document Type
:
BL
Record Number
:
649850
Doc. No
:
dltt
Title & Author
:
Dag Prawitz on proofs and meaning /\ Heinrich Wansing, editor
Series Statement
:
Outstanding contributions to logic ;; v. 7
Page. NO
:
1 online resource.
ISBN
:
3319110403 (print)
:
: 3319110411
:
: 9783319110400 (print)
:
: 9783319110417
:
9783319110400
Subject
:
Logic design.
Subject
:
Logic, Symbolic and mathematical.
Subject
:
Logic.
Subject
:
Philosophy.
Subject
:
Philosophy.
Subject
:
Logics and Meanings of Programs.
Subject
:
Mathematical Logic and Foundations.
Dewey Classification
:
100
:
160
LC Classification
:
BC71
Added Entry
:
Wansing, H., (Heinrich)
Added Entry
:
Ohio Library and Information Network.
https://lib.clisel.com/site/catalogue/649850
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال
1 - آیا از کیفیت منابع دیجیتال راضی هستید؟
X
کم
متوسط
زیاد
ذخیره
پاک کن