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, Walter A. Carnielli

Computable functionsGödel's theoremLogic, Symbolic and mathematicalSymbolic and mathematical LogicMathematical logic

0.0

Open Library

Themes & subjects

Computable functionsGödel's theoremLogic, Symbolic and mathematicalSymbolic and mathematical LogicMathematical logicMathematical theory of computation

About the author

Richard L. Epstein

1947

Authors

Richard L. Epstein, Walter A. Carnielli

Pages

299

Read time

≈ 7h

Editions

3

Language

English

Publisher

Wadsworth Publishing

ISBN

9780534546441

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

Gödel's proof

Gödel's theorem · Mathematics

Gödel's proof

1958

Satan, cantor, and infinity

Mathematical recreations · Gödel's theorem

Satan, cantor, and infinity

Raymond M. Smullyan

1992

Shadows of the mind

Gödel's theorem · Quantum theory

Shadows of the mind

1994

Forever undecided

Gödel's theorem · Mathematical recreations

Forever undecided

Raymond M. Smullyan

1987

The large, the small and the human mind

Gödel's theorem · Philosophy

The large, the small and the human mind

1997

Gödel's theorem

Gödel's theorem · Incompleteness theorems

Gödel's theorem

Torkel Franzén

2005

Incompleteness

Logicians · Biography

Incompleteness

Rebecca Goldstein

2005

Kurt Gödel and the foundations of mathematics

MATHEMATICS / Logic · Mathematics

Kurt Gödel and the foundations of mathematics

2011

Journey to the Edge of Reason

Goedel, kurt, 1906-1978 · Mathematicians, biography

Journey to the Edge of Reason

Stephen Budiansky

2021

Sentences undecidable in formalized arithmetic

Gödel's theorem · Semantics (Philosophy)

Sentences undecidable in formalized arithmetic

Andrzej Mostowski

1952