{"product_id":"mathematical-logic-h-d-ebbinghaus-9780387942582","title":"Mathematical Logic","description":"This junior\/senior level text starts with a thorough treatment of first-order logic and its role in the foundations of mathematics. It covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem, Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e H. -D Ebbinghaus, J. Flum, Wolfgang Thomas\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 0387942580\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9780387942582\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 06\/10\/1994\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 291\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.30lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.40h x 6.40w x 1.00d","brand":"H. -D Ebbinghaus","offers":[{"title":"Hardcover","offer_id":43919640953087,"sku":"9780387942582","price":79.95,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/products\/img_e14d0012-74f6-4403-9179-3045b998149b.jpg?v=1680810518","url":"https:\/\/www.whiterainbookhouse.com\/products\/mathematical-logic-h-d-ebbinghaus-9780387942582","provider":"WR Book House","version":"1.0","type":"link"}