Picture 1 of 1

Stock photo

Logic for Mathematics and Computer Science - Picture 1 of 1

Logic for Mathematics and Computer Science by Stanley N. Burris (1997, Hardcover)

OnTimeBooks (65065)

98.8% positive feedback

Price:

US $45.45

ApproximatelyRM 190.41

+ $19.58 shipping

Estimated delivery Thu, 27 Nov - Wed, 10 Dec

Returns:

30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.

Condition:

Very Good

About this product

Product Identifiers

PublisherPrentice Hall PTR

ISBN-100132859742

ISBN-139780132859745

eBay Product ID (ePID)609290

Product Key Features

Number of Pages448 Pages

LanguageEnglish

Publication NameLogic for Mathematics and Computer Science

Publication Year1997

SubjectGeneral, Logic

TypeTextbook

AuthorStanley N. Burris

Subject AreaMathematics

FormatHardcover

Dimensions

Item Height1.1 in

Item Weight20.6 Oz

Item Length9 in

Item Width6.1 in

Additional Product Features

Intended AudienceCollege Audience

LCCN97-015438

Dewey Edition21

IllustratedYes

Dewey Decimal511.3

Table Of ContentI. QUANTIFIER-FREE LOGICS. 1. From Aristotle to Boole. 2. Propositional Logic. 3. Equational Logic. 4. Predicate Clause Logic. II. LOGIC WITH QUANTIFIERS. 5. First-Order Logic: Introduction, and Fundamental Results on Semantics. 6. A Proof System for First-Order Logic and Gödel's Completeness Theorem. Appendix A. A Simple Timetable of Mathematical Logic and Computing. Appendix B. Dedekind-Peano Number System. Appendix C. Writing Up an Inductive Definition or Proof. Appendix D. FL Propositional Logic. Bibliography. Index.

SynopsisThis text is intended for one semester courses in Logic, it can also be applied to a two semester course, in either Computer Science or Mathematics Departments. Unlike other texts on mathematical logic that are either too advanced, too sparse in examples or exercises, too traditional in coverage, or too philosophical in approach, this text provides an elementary "hands-on" presentation of important mathematical logic topics, new and old, that is readily accessible and relevant to all students of the mathematical sciences -- not just those in traditional pure mathematics., This book provides an elementary "hands-on" presentation of important mathematical logic topics. Explores topics that are at the cutting edge of developments in computer science, while preserving the integrity of traditional logic. Stresses several self-contained proof systems of interest to mathematical logic, some more suitable than others for particular kinds of questions. For anyone interested in Computer Science or Mathematics.

LC Classification NumberQA9.B86 1998