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

The Elements of Mathematical Logic by Paul C. Rosenbloom ISBN: 0486446174 Dover Publications Price: $12.95 click here to see this book This introduction to mathematical logic stresses the use of logical methods in attacking nontrivial problems. It covers the logic of classes, of propositions, of propositional functions, and the general syntax of language, with a brief introduction to so-called undecidability and incompleteness theorems; and much more. 1950 edition. Unabridged republication of the New York, 1950 edition. Table of Contents for The Elements of Mathematical Logic Introduction 1. The Logic of Classes 1. Informal introduction. Fundamental theorems 2. Boolean algebra as a deductive science 3. The structure and representation of Boolean algebras 2. The Logic of Propositions 1. Fundamentals 2. Alternative formulations 3. Deductive systems 4. Many valued logics, modal logics, intuitionism 3. The Logic of Propositional Functions 1. Informal introduction 2. The functional logic of the first order 3. Some very expressive languages 4. Combinatory logics 5. The development of mathematics within an object language 6. The paradoxes 7. The axiom of choice 4. The General Syntax of Language 1. Basic concepts. Simple language 2. Production, canonical languages, extenswion, and definition 3. Normal languages. Theorems of Post and Gödel Appendix 1. Caninocal forms of L1, L´2, and Lz Appendix 2. Algebraic approach to language. Church's theorem Bibliographic and Other Remarks 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