{"product_id":"decidable-theories-vol-1-buchi-s-monadic-second-order-successor-arithmetic-9783540049098","title":"Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic","description":"\u003cp\u003e • Author(s): Dirk Siefkes | Gert H. Müller\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003eDecidability and completeness of SC.- Benefits of the decision procedure.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":46894481965207,"sku":"9783540049098","price":2935.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540049098.webp?v=1770324695","url":"https:\/\/atlanticbooks.com\/products\/decidable-theories-vol-1-buchi-s-monadic-second-order-successor-arithmetic-9783540049098","provider":"Atlantic Books","version":"1.0","type":"link"}