Introduction to languages and the theory of computation

Turing Computability

Computability & unsolvability.

Automata and Computability

Introduction to Scientific, Symbolic, and Graphical Computation

A practical guide to pseudospectral methods

Computability and logic

Introduction to formal languages, automata theory and computation

Automata and computability

Models of computation and formal languages

Higher-Order Computability

Automata, computability and complexity

Theory of recursive functions and effective computability

Computable Structures and the Hyperarithmetical Hierarchy (Studies in Logic and the Foundations of Mathematics)

Computability and Complexity Theory (Texts in Computer Science)

Theory of Computation

Computability in Analysis and Physics

A programming approach to computability

Computability Theory and Its Applications: Current Trends and Open Problems

Theory of computation

Invitation to Applied Category Theory

Theory of recursive functions and effective computability.

Recursively Enumberable Sets and Degrees

Enumerability, decidability, computability.

Recursively Enumerable Sets and Degrees

Reflexive Structures

Computable set theory

An Introduction to the Technique of Formative Processes in Set Theory

Computability

Handbook of Computability Theory

Computability Theory, Second Edition

Computable Structures and the Hyperarithmetical Hierarchy

Computability

Formal Models of Computation

Handbook of computability theory

Computable Functions

Computable Functions

Ke ji suan xing li lun dao yin

Automata

Automata, Computability and Complexity