The Elements of Logic: For Use in Computer Science, Mathematics, and Philosophy

By William J. Edgar

No Synopsis Available.

• Format: Paperback
• Language: English
• ISBN: 0023314850
• ISBN13: 9780023314858
• Release Date: January 1989
• Publisher: Macmillan Pub Co
• Weight: 0.50 lbs.

Customer Reviews

The best introduction to logic I have seen

It is ironic that most computer science students are better schooled in fundamental logic than their mathematics counterparts, even if they are attending the same school. A discrete mathematics course is now universally required in computer science majors, and logic is a fundamental component of those courses. However, mathematics majors are not always required to take discrete mathematics and in most cases logic is not found in any other course. This is unfortunate, as knowledge of formal logic is so critical to understanding many areas of mathematics. One solution to this problem is to offer a short segment in formal logic and proof techniques as part of another course. This book is an ideal choice for such a short segment. The fundamentals of propositional logic and the predicate calculus are covered in a concise, yet thorough manner. It would also be an excellent choice for anyone who needs to refresh their logic skills after a long absence. Edgar is an excellent expository writer and solutions to the exercises are included. While not necessarily of value to mathematics majors, there is also a brief section on the logic of electronic gates. Written primarily for mathematics majors, this book is the best introduction to logic that I am aware of.