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 and logic

Computability and logic

by George Boolos, Richard C. Jeffrey, George S. Boolos

1974Computable functionsLogic, Symbolic and mathematicalRecursive functionsSymbolic and mathematical LogicMathematical foundations
0.0
Open Library
Open Library

Themes & subjects

Computable functionsLogic, Symbolic and mathematicalRecursive functionsSymbolic and mathematical LogicMathematical foundationsPhilosophy
First published 1974

Authors

George Boolos, Richard C. Jeffrey, George S. Boolos

First published

1974

Pages

304

Read time

≈ 8h

Editions

19

Language

English

Publisher

Cambridge University Press

ISBN

9781283329576

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

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

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)

George Boole

1854

Algèbre de la logique

Algebraic logic · Symbolic and mathematical Logic

Algèbre de la logique

Louis Couturat

1905

How to solve it

Mathematics · Problems, exercises

How to solve it

George Pólya

1945

Mathematics and plausible reasoning

Symbolic and mathematical Logic · Textbooks

Mathematics and plausible reasoning

George Pólya

1954

Logic

Logic · Logic, symbolic and mathematical

Logic

Stan Baronett

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

Notebooks, 1914-1916

Language and languages · Notebooks, sketchbooks

Notebooks, 1914-1916

Ludwig Wittgenstein

1961