TV Shows Anime Top 250 TV Top 100 Anime

Books Manga Top 125 Books Top 100 Manga

For you Trending Tier Lists The Archive Leaderboard

Log in Sign up free

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

Films
TV
Anime
Games
Books
Manga

Discover

Trending
Leaderboard
Find people
Lists
Tier lists

Company

Tour
About
Community guidelines
Privacy
Terms
Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

Home FeedProfile

Computability

Computability

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

1988Computable functionsLogic, Symbolic and mathematicalSymbolic and mathematical LogicMathematical logicMathematics

0.0

Open Library

Themes & subjects

Computable functionsLogic, Symbolic and mathematicalSymbolic and mathematical LogicMathematical logicMathematicsComputer Logic

First published 1988

Authors

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

First published

1988

Pages

320

Read time

≈ 8h

Editions

4

Language

English

Publisher

Advanced Reasoning Forum

ISBN

9780981550732

Where to buy

TR

Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Across media

The same story in other forms.

the film

Computability: How to Make the Most of Your Home Computer

Similar books

Computability and logic

Computable functions · Logic, Symbolic and mathematical

Computability and logic

1974

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

Algorithms · Computable functions

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

1961

Discrete structures, logic, and computability

Computable functions · Computer science

Discrete structures, logic, and computability

1994

Computability and complexity theory

Computational complexity · Computer science

Computability and complexity theory

2001

Computability & unsolvability

Computable functions · Recursive functions

Computability & unsolvability

1958

Theory of recursive functions and effective computability

Computable functions · Recursive functions

Theory of recursive functions and effective computability

1957

Automata and Computability

Machine theory · Computable functions

Automata and Computability

Dexter C. Kozen

2012

Invitation to Applied Category Theory

Categories (mathematics) · Computable functions

Invitation to Applied Category Theory

2019

Tractatus logico-philosophicus

Analysis (Philosophy) · Language

Tractatus logico-philosophicus

Ludwig Wittgenstein

1921

An Investigation of the Laws of Thought (Barnes & Noble)

Symbolic and mathematical Logic · Thought and thinking

An Investigation of the Laws of Thought (Barnes & Noble)

1854

Algèbre de la logique

Algebraic logic · Symbolic and mathematical Logic

Algèbre de la logique

1905

How to solve it

Mathematics · Problems, exercises

How to solve it

1945

Mathematics and plausible reasoning

Symbolic and mathematical Logic · Textbooks

Mathematics and plausible reasoning

1954

Logic

Logic · Logic, symbolic and mathematical

Logic

2007

Regulae ad directionem ingenii

Reasoning · Logic, Symbolic and mathematical

Regulae ad directionem ingenii

René Descartes

1899

Discrete Mathematics and Its Applications

Mathematics · Computer science

Discrete Mathematics and Its Applications

Kenneth H. Rosen

1988

Principia mathematica

Mathematics · Philosophy

Principia mathematica

Alfred North Whitehead

1910

Mathematical logic

Logic, Symbolic and mathematical · Symbolic and mathematical Logic

Mathematical logic

Willard Van Orman Quine

1940