{"product_id":"mathematical-logic","title":"Mathematical Logic","description":"\u003cp\u003eThis 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.\u003c\/p\u003e","brand":"Springer Nature B.V.","offers":[{"title":"Default Title","offer_id":67657738322287,"sku":"9783030738419","price":234.26,"currency_code":"BRL","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0921\/9384\/9711\/files\/3030738418.jpg?v=1791048523","url":"https:\/\/internacional.umlivro.com.br\/products\/mathematical-logic","provider":"UmLivro Internacional","version":"1.0","type":"link"}