{"product_id":"logical-approach-to-automatic-sequences-cambridge-university-press-9781108745246-exploring-combinatorics-on-words-with-walnut-jeffrey-shallit","title":"Logical Approach to Automatic Sequences","description":"\u003cp\u003eDiscover the groundbreaking insights of \u003cstrong\u003eLogical Approach to Automatic Sequences\u003c\/strong\u003e by \u003cstrong\u003eJeffrey Shallit\u003c\/strong\u003e, published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2022. This comprehensive 374-page paperback offers readers the tools to automatically prove or disprove results in combinatorics and number theory in mere milliseconds. By framing your desired outcomes in first-order logic, you can leverage free software to streamline the computation process.\u003c\/p\u003e \u003cp\u003eWith over 150 exercises included, this book serves as an invaluable resource for both students and researchers looking to deepen their understanding of automatic sequences. Enhance your mathematical journey and explore the intersection of logic and computation with this essential text.\u003c\/p\u003e","brand":"Jeffrey Shallit","offers":[{"title":"Default Title","offer_id":52269783482710,"sku":"9781108745246","price":88.51,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781108745246.jpg?v=1767803600","url":"https:\/\/www.bookshop.lv\/products\/logical-approach-to-automatic-sequences-cambridge-university-press-9781108745246-exploring-combinatorics-on-words-with-walnut-jeffrey-shallit","provider":"Bookshop","version":"1.0","type":"link"}