Mathematics

My Instructor Resource Center : Log in or request access

Friendly Introduction to Mathematical Logic, A
Christopher C. Leary, SUNY at Geneseo

ISBN-10: 0130107050
ISBN-13: 9780130107053

Publisher: Prentice Hall
Copyright: 2000
Format: Cloth; 218 pp
Published: 12/08/1999
Status: Out of Print

Suggested retail price: $76.00
We're sorry, this product is no longer available. Please contact your Pearson rep if you are using this product and need instructor resources.

For a one-quarter/one-semester, junior/senior-level course in Mathematical Logic.

With the idea that mathematical logic is absolutely central to mathematics, this tightly focused, elementary text discusses concepts that are used by mathematicians in every branch of the subject—a subject with increasing applications and intrinsic interest. It features an inviting writing style and a mathematical approach with precise statements of theorems and correct proofs. Students are introduced to the main results of mathematical logic—results that are central to the understanding of mathematics as a whole.

A focus on core topics.
- Allows instructors to reasonably cover the central topics of first order mathematical logic in a single semester or quarter course. Gives students a smaller, more focused and less expensive text. Ex.___

Conversational, accessible, and accurate writing style.
- Invites students to explore the subject. Also makes for a much less intimidating environment that encourages students to read and use the book as they work through the course. Ex.___

Early coverage of First Order Logic rather than Propositional Logic—Assumes that most students have an intuitive understanding of Propositional Logic.
- Provides more time for students to digest the material. Gives instructors more time later in the course to spend on more abstract and difficult topics. Ex.___

A mathematical approach—With precise statements of theorems and correct proofs. An in-depth knowledge of computer science is not assumed, although the applications to computer science are indicated.
- Exposes students to the core of the field as they work through challenging and technical results. Ex.___

Coverage of major theorems—e.g., Godel's Completeness Theorem, the Incompleteness Results of Godel and Rosser, the Compactness Theorem, and the Lowenheim-Skolem Theorem.
- Introduces students to the strength and power of mathematics as well as its limitations. Ex.___

Helpful asides—Highlight a particular point, provide a pause, restate difficult points, or emphasize important topics that may get lost along the way.
- Give students another view of a topic. Ex.___

Exercises and problems of varying difficulty.
- Provide students with the opportunity to use and apply the material learned. Ex.___

1. Structures and Languages.

Naïvely. Languages. Terms and Formulas. Induction. Sentences. Structures. Truth in a Structure. Substitutions and Substitutability. Logical Implication. Summing Up, Looking Ahead.

2. Deductions.

Naïvely. Deductions. The Logical Axioms. Rules of Inference. Soundness. Two Technical Lemmas. Properties of our Deductive System. Non-Logical Axioms. Summing Up, Looking Ahead.

3. Completeness and Compactness.

Naïvely. Completeness. Compactness. Substructures and the Löwenheim-Skolem Theorems. Summing Up, Looking Ahead.

4. Incompleteness—Groundwork.

Introduction. Language, Structure, Axioms of N. Recursive Sets and Recursive Functions. Recursive Sets and Computer Programs. Coding—Naïvely. Coding Is Recursive. Gödel Numbering. Gödel Numbers and N. NUM and SUB Are Recursive. Definitions by Recursion Are Recursive. The Collection of Axioms Is Recursive. Coding Deductions. Summing Up, Looking Ahead. Tables of D-Definitions.

5. The Incompleteness Theorems.

Introduction. The Self-Reference Lemma. The First Incompleteness Theorem. Extensions and Refinements of Incompleteness. Another Proof of Incompleteness. Peano Arithmetic and the Second Incompleteness Theorem. George Boolos on the Second Incompleteness Theorem. Summing Up, Looking Ahead.

Appendix: Set Theory.

Exercises.

Logic (Mathematics)

Discipline & Course Resources

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.