عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
0521008042
شابک
0521810337
شابک
9780521008044
شابک
9780521810333
شماره کتابشناسی ملی
شماره
dltt
عنوان و نام پديدآور
عنوان اصلي
An introduction to formal logic /
نام عام مواد
[Book]
نام نخستين پديدآور
Peter Smith.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Cambridge University Press,
تاریخ نشرو بخش و غیره
2003.
مشخصات ظاهری
نام خاص و کميت اثر
viii, 357 pages :
ساير جزييات
illustrations ;
ابعاد
26 cm
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (pages 348-351) and index.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
"In this book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible 'tree' method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic."--Jacket.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Smith, Peter,1944-
مبدا اصلی
تاريخ عمليات
20170208060146.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
