|
![]() |
|||
|
||||
OverviewThis applications-related introductory treatment explores facets of modern symbolic logic useful in the exposition of elementary mathematics. The authors convey the material in a manner accessible to those trained in standard elementary mathematics but lacking any formal background in logic. Topics include the statement calculus, proof and demonstration, abstract mathematical systems, and the restricted predicate calculus. The final chapter draws upon the methods of logical reasoning covered in previous chapters to develop solutions of linear and quadratic equations, definitions of order and absolute value, and other applications. Numerous examples and exercises aid in the mastery of the language of logic. Full Product DetailsAuthor: Robert M. Exner , Myron F. RosskopfPublisher: Dover Publications Inc. Imprint: Dover Publications Inc. Dimensions: Width: 13.60cm , Height: 1.50cm , Length: 21.60cm Weight: 0.318kg ISBN: 9780486482217ISBN 10: 0486482219 Pages: 288 Publication Date: 19 May 2011 Audience: College/higher education , Undergraduate Format: Paperback Publisher's Status: Active Availability: To order ![]() Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us. Table of ContentsPreface Glossary of Special Symbols and Abbreviations I. Mathematics, Formal logic, and Names II. The Statement Calculus III. Proof and Demonstration IV. Abstract Mathematical Systems V. The Restricted Predicate Calculus VI. Applications of Logic in Mathematics Appendix IndexReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |