Computable functions.

Models of computation = an introduction to computability theory / by: (Language materials, printed)

Introduction to languages and the theory of computation by: (Language materials, printed)

The foundations of computability theory by: (Electronic resources)

Philosophical explorations of the legacy of Alan Turing = Turing 100 / by: (Electronic resources)

The incomputable = journeys beyond the Turing barrier / by: (Electronic resources)

An introduction to the technique of formative processes in set theory by: (Electronic resources)

An invitation to analytic combinatorics = from one to several variables / by: (Electronic resources)

The foundations of computability theory by: (Electronic resources)

Computable structure theory : = within the arithmetic / by: (Language materials, printed)

Computability by: (Electronic resources)

Structure and randomness in computability and set theory / by: (Language materials, printed)

Discrete structures, logic, and computability by: (Language materials, printed)

Computable models by: (Language materials, printed)

Algorithmic randomness and complexity by: (Language materials, printed)

Computability in context = computation and logic in the real world / by: (Electronic resources)

Higher-order computability by: (Electronic resources)

Turing's revolution = the impact of his ideas about computability / by: (Electronic resources)

Turing computability = theory and applications / by: (Electronic resources)