دسترسی همگانی(OPAC) کتابخانه موسسه آموزش عالی بینالود

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	کتاب الکترونیکی لاتین	موسسه آموزش عالی بینالود	زبان	اسناد معمولی	موجود