Explore Books on
computable functions

Computability and logic

By George Boolos,Richard C. Jeffrey,George S. Boolos,John P. Burgess

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

By Hans Hermes

Discrete structures, logic, and computability

By James L. Hein

Noncommutative Polynomial Algebras of Solvable Type and Their Modules

By Huishi Li

Enumerability, Decidability, Computability

By Hans Hermes,Gabor T. Herman,O. Plassmann

Theory of Computation

By George Tourlakis

Computability and complexity theory

By Steven Homer,Alan L. Selman

Computability & unsolvability

By Davis, Martin

Theory of recursive functions and effective computability

By Hartley Rogers

Algebraic Computability and Enumeration Models

By Cyrus F. Nourani

Introduction to Scientific, Symbolic, and Graphical Computation

By Eugene Fiume

Computability

By Richard L. Epstein,Richard .L. Epstein,Walter Alexandr Carnielli

Automata and Computability

By Dexter C. Kozen

Invitation to Applied Category Theory

By Brendan Fong,David I. Spivak

Effective Mathematics of the Uncountable

By Noam Greenberg,Denis Hirschfeldt,Joel David Hamkins,Russell Miller

Initial computability, algebraic specifications, and partial algebras

By Horst Reichel

A practical guide to pseudospectral methods

By Bengt Fornberg

Data Streams

By Charu C. Aggarwal

Computable Analysis

By Klaus Weihrauch

Higher-Order Computability

By John Longley,Dag Normann

Computation and Automata

By Arto Salomaa

Theory and Applications of Models of Computation

By T-H. Hubert Chan

Turing Computability

By Robert I. Soare

Computability in Analysis and Physics

By Marian B. Pour-El,Richards, Ian