fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

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

HomeFeedProfile
Computability theory

Computability theory

by S. B. Cooper

2004Computable functionsFonctions calculablesMATHEMATICSGeneralBerechenbarkeit
0.0
Open Library
Open Library

Themes & subjects

Computable functionsFonctions calculablesMATHEMATICSGeneralBerechenbarkeitMathematische Logik
First published 2004

Author

S. B. Cooper

First published

2004

Pages

409

Read time

≈ 10h

Editions

1

Language

English

Publisher

Chapman & Hall/CRC Press

ISBN

1584882379

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

Similar books

Computability and logic

Computable functions · Logic, Symbolic and mathematical

Computability and logic

George Boolos

1974

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

Algorithms · Computable functions

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

Hans Hermes

1961

Discrete structures, logic, and computability

Computable functions · Computer science

Discrete structures, logic, and computability

James L. Hein

1994

Computability and complexity theory

Computational complexity · Computer science

Computability and complexity theory

Steven Homer

2001

Computability & unsolvability

Computable functions · Recursive functions

Computability & unsolvability

Davis, Martin

1958

Theory of recursive functions and effective computability

Computable functions · Recursive functions

Theory of recursive functions and effective computability

Hartley Rogers

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

Brendan Fong

2019

Elements of the theory of computation

Computational complexity · Formal languages

Elements of the theory of computation

Harry R. Lewis

1981

Introduction to Languages and the Theory of Computation

Sequential machine theory · Computable functions

Introduction to Languages and the Theory of Computation

John C. Martin

2002

Logic and computation

Cambridge LCF (Computer system) · Data processing

Logic and computation

Lawrence C. Paulson

1987

Logical approaches to computational barriers

Congresses · Computable functions

Logical approaches to computational barriers

Arnold Beckmann

2006

New computational paradigms

Congresses · Computable functions

New computational paradigms

Barry S. Cooper

2005

The theory of computability

Algorithms · Computable functions

The theory of computability

R. Sommerhalder

1988

Computability with PASCAL

Computable functions · Data processing

Computability with PASCAL

John S. Mallozzi

1984

Introduction à la calculabilité

Computable functions · Fonctions calculables

Introduction à la calculabilité

Pierre Wolper

2001

Mathematical Foundations of Computer Science 1979

Computer programming · Congresses

Mathematical Foundations of Computer Science 1979

J. Becvar

1979

Logique et fondements de l'informatique

Symbolic and mathematical Logic · Computer science

Logique et fondements de l'informatique

Richard Lassaigne

1993