Usually Ships in 3-5 Business Days
Questions About This Book?
Why should I rent this book?
Renting is easy, fast, and cheap! Renting from eCampus.com can save you hundreds of dollars compared to the cost of new or used books each semester. At the end of the semester, simply ship the book back to us with a free UPS shipping label! No need to worry about selling it back.
How do rental returns work?
Returning books is as easy as possible. As your rental due date approaches, we will email you several courtesy reminders. When you are ready to return, you can print a free UPS shipping label from our website at any time. Then, just return the book to your UPS driver or any staffed UPS location. You can even use the same box we shipped it in!
What version or edition is this?
This is the edition with a publication date of 1/25/2013.
What is included with this book?
- The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any CDs, lab manuals, study guides, etc.
- The Rental copy of this book is not guaranteed to include any supplemental materials. You may receive a brand new copy, but typically, only the book itself.
Well-Structured Mathematical Logic does for logic what Structured Programming did for computation: make large-scale work possible. From the work of George Boole onward, traditional logic was made to look like a form of symbolic algebra. In this work, the logic undergirding conventional mathematics resembles well-structured computer programs. A very important feature of the new system is that it structures the expression of mathematics in much the same way that people already do informally. In this way, the new system is simultaneously machine-parsable and user-friendly, just as Structured Programming is for algorithms. Unlike traditional logic, the new system works with you, not against you, as you use it to structure┐and understand┐the mathematics you work with on a daily basis. The book provides a complete guide to its subject matter. It presents the major results and theorems one needs to know in order to use the new system effectively. Two chapters provide tutorials for the reader in the new way that symbols move when logical calculations are performed in the well-structured system. Numerous examples and discussions are provided to illustrate the system┐s many results and features. Well-Structured Mathematical Logic is accessible to anyone who has at least some knowledge of traditional logic to serve as a foundation, and is of interest to all who need a system of pliant, user-friendly mathematical logic to use in their work in mathematics and computer science.