BC71

رکوردهای موجود با شماره رده : BC71

What logics mean- From Proof Theory to Model-Theoretic Semantics / Garson ، James W. (1943-)، نویسنده

نوع مدرک: متون چاپی سرشناسه Garson ، James W. (1943-)، نویسنده شماره بازیابی : BC71 ‭.G337 2013 عنوان : What logics mean- From Proof Theory to Model-Theoretic Semantics تکرار نام مولف : James W. Garson. صفحه شمار: xv, 285 pages ویژگی : illustrations ابعاد : 25 cm شابک/شاپا 978-1-10-703910-0 یادداشت Includes bibliographical references (pages 275-279) and index.. موضوع‌ها : اصفا Logic. ؛ Semantics. ؛ Logic, Symbolic and mathematical. لینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=8508 زبان مدرک : English

 درخواست رزرو

 فهرست موجودی مدرک

شماره ثبت	شماره بازیابی	نام عام مواد	محل نگهداری	بخش	وضعیت ثبت	وضعیت امانت
9987	BC71 ‭.G337 2013	کتاب الکترونیکی لاتین	موسسه آموزش عالی بینالود	زبان	اسناد معمولی	موجود

 نظرهای کاربران درباره این مدرک

تعداد نظرات کاربران :0 . برای افزودن نظر خود کلیک نمایید.

رای شما : بدون امتیاز بد ضعیف خوب بسیار خوب جذاب

موضوع

شرح نظر شما