Computable functions.

An introduction to the technique of formative processes in set theory by: (書目-電子資源)

Structure and randomness in computability and set theory / by: (書目-語言資料,印刷品)

The foundations of computability theory by: (書目-電子資源)

Computability by: (書目-電子資源)

Computable structure theory : = within the arithmetic / by: (書目-語言資料,印刷品)

Introduction to languages and the theory of computation / by: (書目-語言資料,印刷品)

Hilbert's tenth problem / by: (書目-語言資料,印刷品)

Hilbert's tenth problem by: (書目-語言資料,印刷品)

Computability and logic by: (書目-語言資料,印刷品)

Computable models by: (書目-語言資料,印刷品)

Algorithmic randomness and complexity by: (書目-語言資料,印刷品)

Introduction to languages and the theory of computation by: (書目-語言資料,印刷品)

Computability in context = computation and logic in the real world / by: (書目-電子資源)

Higher-order computability by: (書目-電子資源)

Turing's revolution = the impact of his ideas about computability / by: (書目-電子資源)

Philosophical explorations of the legacy of Alan Turing = Turing 100 / by: (書目-電子資源)

The incomputable = journeys beyond the Turing barrier / by: (書目-電子資源)

An invitation to analytic combinatorics = from one to several variables / by: (書目-電子資源)