Computability theory an introduction to recursion theory / Herbert B. Enderton.

Author/creator Enderton, Herbert B.
Format Electronic
Publication InfoAmsterdam ; Boston : Academic Press,
Description174 p. : ill. ; 24 cm.
Supplemental ContentFull text available from eBook - Mathematics 2011
Subjects

Contents The Computability Concept -- General Recursive Functions -- Programs and Machines -- Recursive Enumerability -- Connections to Logic -- Degrees of Unsolvability -- Polynomial-Time Computability -- [Appendices]. Mathspeak -- Countability -- Decadic Notation.
Bibliography noteIncludes bibliographical references (p. 163-164) and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2010038448
ISBN9780123849588 (hardback)

Availability

Library Location Call Number Status Item Actions
Electronic Resources Access Content Online ✔ Available