{"product_id":"models-algebras-and-proofs-taylor-francis-inc-9780824719708","title":"Models, Algebras, and Proofs","description":"\u003cp\u003eDiscover the fascinating intersections of logic, mathematics, and computer science in \u003cstrong\u003eModels, Algebras, and Proofs\u003c\/strong\u003e, published by \u003cstrong\u003eTaylor \u0026amp; Francis Inc\u003c\/strong\u003e in 1998. This comprehensive volume spans \u003cstrong\u003e472 pages\u003c\/strong\u003e and presents a balanced account of recent advancements in set theory, model theory, algebraic logic, and proof theory. Originally showcased at the Tenth Latin American Symposium on Mathematical Logic in Bogotá, Colombia, this book features groundbreaking research contributed by over 30 esteemed experts from around the globe. Whether you are a student, educator, or professional in the field, this essential resource offers valuable insights and fosters a deeper understanding of contemporary developments in mathematical logic. Don't miss the opportunity to enhance your knowledge with this significant work!\u003c\/p\u003e","brand":"Bookshop","offers":[{"title":"Default Title","offer_id":52235303354710,"sku":"9780824719708","price":242.5,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780824719708.jpg?v=1767755217","url":"https:\/\/www.bookshop.ee\/products\/models-algebras-and-proofs-taylor-francis-inc-9780824719708","provider":"Bookshop","version":"1.0","type":"link"}