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
Definability and computability

Definability and computability

by I͡Uriĭ Leonidovich Ershov

1996Definability theory (Mathematical logic)Computable functions
0.0
Open Library
Open Library

Themes & subjects

Definability theory (Mathematical logic)Computable functions
First published 1996

Author

I͡Uriĭ Leonidovich Ershov

First published

1996

Pages

264

Read time

≈ 7h

Editions

1

Language

English

Publisher

Consultants Bureau

ISBN

0306110393

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

Interpolation and definability

Definability theory (Mathematical logic) · Interpolation

Interpolation and definability

Dov M. Gabbay

2005

Opredelimostʹ i vychislimostʹ

Definability theory (Mathematical logic) · Computable functions

Opredelimostʹ i vychislimostʹ

I͡Uriĭ Leonidovich Ershov

1996

Definability and Computability (Siberian School of Algebra and Logic)

Definability theory (Mathematical logic) · Computable functions

Definability and Computability (Siberian School of Algebra and Logic)

Yuri L. Ershov

1996

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