{"product_id":"logic-of-mathematics-a-modern-course-of-classical-logic-22-pure-and-applied-mathematics-a-wiley-series-of-texts-monographs-and-tracts-9780471060260","title":"Logic of Mathematics A Modern Course of Classical","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003eA thorough, accessible, and rigorous presentation of the central theorems of mathematical logic... ideal for advanced students of mathematics, computer science, and logic  Logic of Mathematics combines a full-scale introductory course in mathematical logic and model theory with a range of specially selected, more advanced theorems.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTable of Contents\u003c\/b\u003e\u003cbr\u003ePartial table of contents:\u003cbr\u003e \u003cbr\u003e MATHEMATICAL STRUCTURES AND THEIR THEORIES.\u003cbr\u003e \u003cbr\u003e Relational Systems.\u003cbr\u003e \u003cbr\u003e Boolean Algebras.\u003cbr\u003e \u003cbr\u003e Terms and Formulas.\u003cbr\u003e \u003cbr\u003e Substitution of Terms.\u003cbr\u003e \u003cbr\u003e Theorems and Proofs.\u003cbr\u003e \u003cbr\u003e Generalization Rule and Elimination of Constants.\u003cbr\u003e \u003cbr\u003e Peano Arithmetic.\u003cbr\u003e \u003cbr\u003e Ultraproducts.\u003cbr\u003e \u003cbr\u003e Supplementary Questions.\u003cbr\u003e \u003cbr\u003e SELECTED TOPICS.\u003cbr\u003e \u003cbr\u003e Total Functions.\u003cbr\u003e \u003cbr\u003e Incompleteness of Arithmetic.\u003cbr\u003e \u003cbr\u003e Tarski's Theorem.\u003cbr\u003e \u003cbr\u003e Matiyasevich's Theorem.\u003cbr\u003e \u003cbr\u003e Guide to Further Reading.\u003cbr\u003e \u003cbr\u003e References.\u003cbr\u003e \u003cbr\u003e Index.","brand":"John Wiley \u0026 Sons Inc","offers":[{"title":"Default Title","offer_id":49402483999063,"sku":"9780471060260","price":147.56,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1739\/5799\/files\/9780471060260.jpg?v=1730480545","url":"https:\/\/bookcurl.com\/products\/logic-of-mathematics-a-modern-course-of-classical-logic-22-pure-and-applied-mathematics-a-wiley-series-of-texts-monographs-and-tracts-9780471060260","provider":"Book Curl","version":"1.0","type":"link"}