Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

هنوز رتبه‌بندی نشده است
Jan 1, 2001 · انگلیسی · کتاب الکترونیکی (360 صفحات)
به قفسه اضافه کنید

به این کتاب امتیاز دهید


صدور دفتر کتاب

جزئیات کتاب

فرمت کتاب الکترونیکی
صفحات 360
زبان انگلیسی
منتشر شده Jan 1, 2001
ناشر Oxford University Press
ISBN-10 6610819661
ISBN-13 9786610819669

توضیحات

Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. In particular, it is a major element in theoretical computer science and has undergone a huge revival with the explosion of interest in computers and computer science. This book provides students with a clear and accessible introduction to this important subject. The concept of model underlies the whole book, giving the text a theoretical coherence whilst still covering a wide area of logic.

ژانرها

علم و فناوری
به قفسه اضافه کنید

به این کتاب امتیاز دهید


صدور دفتر کتاب