The Resource Computability Theory, Enderton, Herbert

Computability Theory, Enderton, Herbert

Label
Computability Theory
Title
Computability Theory
Statement of responsibility
Enderton, Herbert
Creator
Contributor
Author
Subject
Genre
Language
  • eng
  • eng
Summary
Computability Theory: An Introduction to Recursion Theory, provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion of advanced topics not to be found elsewhere in the literature at this level. The text includes both the standard material for a first course in computability and more advanced looks at degree structures, forcing, priority methods, and determinacy. The final chapter explores a variety of computability applications to mathematics and science. Computability Theory is an invaluable text, reference, and guide to the direction of current research in the field. Nowhere else will you find the techniques and results of this beautiful and basic subject brought alive in such an approachable way. Frequent historical information presented throughout More extensive motivation for each of the topics than other texts currently available Connects with topics not included in other textbooks, such as complexity theory
http://library.link/vocab/creatorName
Enderton, Herbert
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
O'Reilly Media Company
Label
Computability Theory, Enderton, Herbert
Link
https://databases.mvlc.org/connect/oreilly?ID=9780123849588
Instantiates
Publication
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
unknown
Edition
1st edition
Extent
1 online resource (192 pages)
Form of item
online
Issuing body
Made available through: O'Reilly Media Company.
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(CaSebORM)9780123849588
System details
Mode of access: World Wide Web
Label
Computability Theory, Enderton, Herbert
Link
https://databases.mvlc.org/connect/oreilly?ID=9780123849588
Publication
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
unknown
Edition
1st edition
Extent
1 online resource (192 pages)
Form of item
online
Issuing body
Made available through: O'Reilly Media Company.
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(CaSebORM)9780123849588
System details
Mode of access: World Wide Web

Library Locations

    • Merrimack Valley Library ConsortiumBorrow it
      4 High Street, Suite 175, North Andover, MA, 01845, US
      42.7009413 -71.1255084
Processing Feedback ...