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

Computability and Logic

By Daniel E. Cohen

Theory of recursive functions and effective computability

By Hartley Rogers

Noncommutative Polynomial Algebras of Solvable Type and Their Modules

By Huishi Li

Computability & unsolvability

By Davis, Martin

Computability and complexity theory

By Steven Homer,Alan L. Selman

Enumerability, Decidability, Computability

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

Theory of Computation

By George Tourlakis

A practical guide to pseudospectral methods

By Bengt Fornberg

Algebraic Computability and Enumeration Models

By Cyrus F. Nourani

Introduction to Scientific, Symbolic, and Graphical Computation

By Eugene Fiume

Invitation to Applied Category Theory

By Brendan Fong,David I. Spivak

Initial computability, algebraic specifications, and partial algebras

By Horst Reichel

Effective Mathematics of the Uncountable

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

Automata and Computability

By Dexter C. Kozen

Computability

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

Computable Analysis

By Klaus Weihrauch

Data Streams

By Charu C. Aggarwal

Computation and Automata

By Arto Salomaa

Hypercomputation

By Apostolos Syropoulos

Higher-Order Computability

By John Longley,Dag Normann

Computation and Automata

By Arto Salomaa