عنوان
پدید آورنده
موضوع
رده
BC71
BC71
کتابخانه
محل استقرار
شابک
شابک
3319110403 (print)
شابک
3319110411
شابک
9783319110400 (print)
شابک
9783319110417
شابک اشتباه
9783319110400
شماره کتابشناسی ملی
شماره
dltt
عنوان و نام پديدآور
عنوان اصلي
Dag Prawitz on proofs and meaning /
نام عام مواد
[Book]
نام نخستين پديدآور
Heinrich Wansing, editor
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource.
فروست
عنوان فروست
Outstanding contributions to logic ;
مشخصه جلد
v. 7
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9783319110400
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic design.
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Logic.
موضوع مستند نشده
Philosophy.
موضوع مستند نشده
Logics and Meanings of Programs.
موضوع مستند نشده
Mathematical Logic and Foundations.
موضوع مستند نشده
Philosophy.
مقوله موضوعی
موضوع مستند نشده
HPL 23
موضوع مستند نشده
PHI-- 011000
موضوع مستند نشده
PHI011000 23
رده بندی ديویی
شماره
100
شماره
160
ويراست
23
رده بندی کنگره
شماره رده
BC71
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Wansing, H., (Heinrich)
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
Ohio Library and Information Network.
مبدا اصلی
تاريخ عمليات
20150319072407.2
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
