Bargain BinAfrican-American History M......American History, American......American IndiansAntiquesArchitectureArtArt Activity PacksBrain GamesBestsellersBooks Under $10Bridge and Other Card Game......Business and EconomicsCalla EditionsChessChildrenCivil War BooksClip Art and Design on CD-......Clip Art in Books (Pictori......Coloring BooksCookbooks, NutritionCraftsCreative HomeownerDesignWorksDetective, Ghost , Superna......Dover Discovery KitsDover Fun KitsDover Pocket PuzzlesEmpower Your LifeEthnic InterestFeaturesGift CertificatesGift IdeasGoing GreenHistory, Political Science......HolidaysHumorI Can Draw SetsLanguages and LinguisticsLiteratureMagic, LegerdemainMilitary History, Weapons ......MusicNASA Historical SeriesNatureOccult and Esoteric Studie......OrigamiPaper DollsPerforming Arts, Drama, Fi......Philosophy and ReligionPhotographyPostersPrincess LeonoraPsychology, EducationPuzzles, Amusement, Recrea......REA - Research & Education......Science and MathematicsSesame StreetShakespeare ShopSociology, Anthropology, M......SpaceSports, Out-of-Door Activi......Stained Glass Coloring Fun......Stained Glass Coloring Kit......Stationery, Seasonal Books......Teacher's StoreTravel and AdventureWomen's StudiesEditors' PicksMcCain & Obama Paper Dolls......WoodworkingSaturday Saver

First Order Mathematical Logic by Angelo Margaris ISBN: 0486662691 Dover Publications Price: $11.95 click here to see this book Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus. First-order theories are discussed in some detail, with special emphasis on number theory. After a discussion of truth and models, the completeness theorem is proved. ". . . an excellent text." — Mathematical Reviews. Exercises. Bibliography. Table of Contents for First Order Mathematical Logic 1. Introduction 1. Rules of Inference 2. Set Theory 3. Axiomatic Theories 4. Predicates and Quantifiers 5. Statement Connectives 6. The Interpretation of Predicates and Quantifiers 7. The Predicate Calculus and First Order Theories 8. The Omission of Parentheses 9. Substitution of a Term for a Variable 10. Removing and Inserting Quantifiers 11. Denials 2. The Predicate Calculus 12. Formulation 13. The Statement Calculus 14. The Deudction Theorem 15. The Completeness Theorem for the Statement Calculus 16. Applications of the Completeness Theorem for the Statement Calculus 17. Quantifiers 18. Equivalence and Replacement 19. Theorem Schemes 20. Normal Forms 21. Equality 3. First Order Theories 22. Definition and Examples 23. Deduction 24. Number Theory 25. Consistency and Completeness 26. Truth 27. The Completeness Theorem 28. Independence 29. Completeness and Categoricity 30. Decidability 31. Gödel's Theorem Notes; References; Addendum; Index of Symbols; Subject Index

Join the Dover Family | Track Your Order | Your Account | Shipping Rates and Policies | Returns | Customer Service | Free Samples | About Dover | Privacy Notice | Terms of Use | Join Our Staff | Free Catalogs