عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
9789400775473
شماره کتابشناسی ملی
شماره
dltt
عنوان و نام پديدآور
عنوان اصلي
Advances in natural deduction :
نام عام مواد
[Book]
ساير اطلاعات عنواني
A celebration of Dag Prawitz's work /
نام نخستين پديدآور
Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva, editors.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2014
مشخصات ظاهری
نام خاص و کميت اثر
XVI, 279 p. ;
ابعاد
24 cm.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
De Paiva, Valeria
مستند نام اشخاص تاييد نشده
Haeusler, Edward Hermann
مستند نام اشخاص تاييد نشده
Pereira, Luiz Carlos
مبدا اصلی
تاريخ عمليات
20140730110539.8
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
