{"product_id":"9780387942582","title":"Mathematical Logic","description":"This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.","brand":"Springer New York","offers":[{"title":"Default Title","offer_id":47012972265712,"sku":"9780387942582","price":79.95,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/7593\/9824\/files\/9780387942582_p0.jpg?v=1763696226","url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9780387942582","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}