{"product_id":"introduction-to-mathematical-logic-fifth-edition-discrete-mathematics-and-its-applications-9781584888765","title":"Introduction to Mathematical Logic  Fifth Edition (Discrete Mathematics and Its Applications)","description":"\u003cp\u003eRetaining all the key features of the previous editions  Introduction to Mathematical Logic  Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic  first-order logic  first-order number theory  axiomatic set theory  and the theory of computability. The text also discusses the major results of Gdel  Church  Kleene  Rosser  and Turing. New to the Fifth Edition A new section covering basic ideas and results about nonstandard models of number theory A second appendix that introduces modal propositional logic An expanded bibliography Additional exercises and selected answers  This long-established text continues to expose students to natural proofs and set-theoretic methods. Only requiring some experience in abstract mathematical thinking  it offers enough material for either a one- or two-semester course on mathematical logic.\u003c\/p\u003e","brand":"My Store","offers":[{"title":"Default Title","offer_id":45279699238965,"sku":"ByrdShop_1584888768","price":492.37,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0627\/8139\/0901\/files\/9781584888765.jpg?v=1780606898","url":"https:\/\/atxbooks.com\/products\/introduction-to-mathematical-logic-fifth-edition-discrete-mathematics-and-its-applications-9781584888765","provider":"ATX Books","version":"1.0","type":"link"}