Computable functions.

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

Computability : = an introduction to recursive function theory / by: (書目-語言資料,印刷品)

Computability in analysis and physics / by: (書目-語言資料,印刷品)

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

Discrete structures, logic, and computability 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: (書目-電子資源)

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

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

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

Turing computability = theory and applications / by: (書目-電子資源)

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

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

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

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