Cover Image

Reflexive Structures : an Introduction to Computability Theory /

Show other versions (1)

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 n...

Full description

Bibliographic Details
Main Author: Sanchis, Luis E.
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: New York, NY : Springer New York, 1988.
Subjects:
Computer science.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Contents: Functions and Predicates
  • Recursive Functions
  • Enumeration
  • Reflexive Structures
  • Hyperenumeration
  • References
  • Index.