Mathematics

This 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.

• Assumes no background in abstract algebra or analysis -- yet focuses clearly on mathematical logic: logic for mathematics and computer science that is developed and analyzed using mathematical methods. Pg.___

• Explores topics that are at the cutting edge of developments in computer science, while preserving the integrity of traditional logic. Pg.___

• Stresses that there are several self-contained proof systems of interest to mathematical logic -- some more suitable than others for particular kinds of questions. Pg.___

• Presents elementary traditional logic side-by-side with its algorithmic aspects -- i.e., the syntax and semantics of first-order logic up to completeness and compactness, and developments in theorem proving that were inspired by the possibilities of using computers (e.g., Robinson's resolution theorem proving and the Knuth-Bendix procedure to obtain term rewrite systems.) Pg.___

• Provides detailed explanations and examples throughout. Pg.___

• Includes historical detail to tie concepts together. Pg.___

• Features over 200 examples worked out in detail. Pg.___

  • Uses familiar examples to ease students into new material. Pg.___

• Provides over 500 exercises. Pg.___

• Contains two substantial worksheets on Peano's Axioms and the FL propositional logic. Pg.___

• Offers supplementary materials on the internet -- where students can experience automated logical algorithms in action. Pg.___

I. QUANTIFIER-FREE LOGICS.

II. LOGIC WITH QUANTIFIERS.

Logic  (Mathematics)

Addison-Wesley's Algebra Review
Addison-Wesley
©2004 | Prentice Hall | Paper | Out of Stock
ISBN-10: 0321247086 | ISBN-13: 9780321247087

Addison-Wesley's Basic Math Review
Addison-Wesley
©2004 | Prentice Hall | Paper | Instock
ISBN-10: 0321247078 | ISBN-13: 9780321247070

Algebra Review Study Card, 2/E
D'Ippolito & Generazzo
©2006 | Prentice Hall | Study Card; 6 pp | Instock
ISBN-10: 0321394739 | ISBN-13: 9780321394736
Buy from myPearsonStore

Allied Health Study Card, 2/E
Forshier
©2006 | Prentice Hall | Study Card | Instock
ISBN-10: 0321394747 | ISBN-13: 9780321394743
Buy from myPearsonStore

Basic Math Review Card, 2/E
Addison-Wesley
©2006 | Prentice Hall | Study Card; 6 pp | Instock
ISBN-10: 0321394763 | ISBN-13: 9780321394767
Buy from myPearsonStore

Concept Videos: Algebra
Addison-Wesley
©2008 | Prentice Hall | Multiple Media Package | Instock
ISBN-10: 0321517199 | ISBN-13: 9780321517197

Concept Videos: Basic Math & Prealgebra
Addison-Wesley
©2008 | Prentice Hall | Multiple Media Package | Instock
ISBN-10: 032151758X | ISBN-13: 9780321517586

Discovering Algebra: Examples with Keystrokes on the TI-83/TI-82 and TI-85/TI-86, A Laboratory Approach
Pirich & Bigliani
©1997 | Prentice Hall | Paper; 195 pp | Instock
ISBN-10: 0136492037 | ISBN-13: 9780136492030
Buy from myPearsonStore

Finite Mathematics Study Card
Addison-Wesley
©2006 | Prentice Hall | Study Card | Instock
ISBN-10: 0321374398 | ISBN-13: 9780321374394
Buy from myPearsonStore

Flash Review Series: Algebra
Becker
©2004 | Prentice Hall | Paper | Instock
ISBN-10: 0321143094 | ISBN-13: 9780321143099
Buy from myPearsonStore

Graphing Calculator Reference Card, 3/E
Ripley
©2006 | Prentice Hall | Study Card; 6 pp | Instock
ISBN-10: 0321394755 | ISBN-13: 9780321394750
Buy from myPearsonStore

Graphing Calculator Tutorial CD
Addison-Wesley
©2006 | Prentice Hall | CD-ROM Only | Instock
ISBN-10: 0321357744 | ISBN-13: 9780321357748
Buy from myPearsonStore

Interwrite Personal Response System
EduCue, Addison-Wesley & Benjamin Cummings
©2004 | Prentice Hall | Electronic Supplement | Instock
ISBN-10: 0321267354 | ISBN-13: 9780321267351

Math for Allied Health Study/Reference Card
Forshier
©2006 | Prentice Hall | Study Card; 0 pp | Out of Stock
ISBN-10: 0321336542 | ISBN-13: 9780321336545

Mathematics Spanish Glossary, 2/E
Lara & Peeples
©2000 | Prentice Hall | Paper; 48 pp | Instock
ISBN-10: 0201728966 | ISBN-13: 9780201728965
Buy from myPearsonStore

Overcoming Math Anxiety, 2/E
Davidson & Levitov
©2000 | Prentice Hall | Paper | Instock
ISBN-10: 0321069188 | ISBN-13: 9780321069184
Buy from myPearsonStore

Pearson TI Rebate Coupon $15, 2/E
Pearson
©2009 | Prentice Hall | Paper | Instock
ISBN-10: 0321566041 | ISBN-13: 9780321566041

Prealgebra Review Workbook
Wheel
©2006 | Prentice Hall | Paper; 300 pp | Instock
ISBN-10: 0321473329 | ISBN-13: 9780321473325
Buy from myPearsonStore

Review of Algebra, A
Howard
©2002 | Prentice Hall | Paper; 224 pp | Instock
ISBN-10: 0201773473 | ISBN-13: 9780201773477
Buy from myPearsonStore

Saleable Technology Bundle, 2/E
Pearson
©2009 | Prentice Hall | Multiple Media Package | Estimated Availability : 09/01/2008
ISBN-10: 0321561880 | ISBN-13: 9780321561886

Spanish Basic Math Study Card
Leonarte
©2007 | Prentice Hall | Study Card | Instock
ISBN-10: 0321438582 | ISBN-13: 9780321438584
Buy from myPearsonStore

Stand-alone Access Code Tutor Center
Addison-Wesley
©2008 | Prentice Hall | Access Code Card | Instock
ISBN-10: 0201721708 | ISBN-13: 9780201721706
URL:  http://www.aw-bc.com/tutorcenter
Buy from myPearsonStore

Pearson Higher Education offers special pricing when you choose to package your text with other student resources. If you're interested in creating a cost-saving package for your students contact your Pearson Higher Education representative.