Seller: Solr Books, Lincolnwood, IL, U.S.A.
Condition: good. This book is in Good condition. There may be some notes and highligting but otherwise the book is in overall good condition.
Language: English
Published by Springer-Verlag GmbH, 1988
ISBN 10: 3540967281 ISBN 13: 9783540967286
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Hardcover. XII, 233 p. ; 25 cm Unread book. Like new. Minimum traces of storage. 9783540967286 Sprache: Englisch Gewicht in Gramm: 717.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.43
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
Paperback. Condition: New.
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. reprint edition. 245 pages. 9.25x6.10x0.63 inches. In Stock.
Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Reflexive Structures: An Introduction to Computability Theory 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. Reflexive Structures is intended as an introduction to the general theory of computability. It can be used as a text or reference in senior undergraduate and first year graduate level classes in computer science or mathematics.