{"product_id":"reflexive-structures-an-introduction-to-computability-theory-9781461283867","title":"Reflexive Structures: An Introduction to Computability Theory","description":"\u003cp\u003e • Author(s): Luis E. Sanchis\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003e\u003cb\u003eReflexive Structures: An Introduction to Computability \u003c\/b\u003e \u003cb\u003eTheory\u003c\/b\u003e is concerned with the foundations of the theory of recursive functions. The approach taken presents the fundamental structures in a fairly general setting, but avoiding the introduction of abstract axiomatic domains. Natural numbers and numerical functions are considered exclusively, which results in a concrete theory conceptually organized around Church's thesis. The book develops the important structures in recursive function theory: closure properties, reflexivity, enumeration, and hyperenumeration. Of particular interest is the treatment of recursion, which is considered from two different points of view: via the minimal fixed point theory of continuous transformations, and via the well known stack algorithm. \u003cb\u003eReflexive Structures\u003c\/b\u003e \u003cb\u003eis intended as an introduction to the general theory of \u003c\/b\u003e \u003cb\u003ecomputability. It can be used as a text or reference in \u003c\/b\u003e \u003cb\u003esenior undergraduate and first year graduate level classes \u003c\/b\u003e \u003cb\u003ein computer science or mathematics. \u003c\/b\u003e\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45281619804311,"sku":"9781461283867","price":3633.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9781461283867.webp?v=1769299753","url":"https:\/\/atlanticbooks.com\/products\/reflexive-structures-an-introduction-to-computability-theory-9781461283867","provider":"Atlantic Books","version":"1.0","type":"link"}