{"product_id":"first-order-programming-theories-9783642635038","title":"First-Order Programming Theories","description":"\u003cp\u003e • Author(s): Tamas Gergely\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Programming - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis book proposes a purely classical first-order logical approach to the theory of programming. It provides a unified framework to present new programming theories and logics systematically and to investigate and compare existing ones with respect to their expressive and proof-theoretic powers.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45283705487511,"sku":"9783642635038","price":7267.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783642635038.webp?v=1769305669","url":"https:\/\/atlanticbooks.com\/products\/first-order-programming-theories-9783642635038","provider":"Atlantic Books","version":"1.0","type":"link"}