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

Books · Search

Books by GEORGE BOOLOS

Computability and logic

Computable functions · Logic, Symbolic and mathematical

Computability and logic

George Boolos

1974

Logic of Provability

George S. Boolos

2010

The Logic of provability

Modality (Logic) · Proof theory

The Logic of provability

George Boolos

1993

Meaning and method

Philosophy

Meaning and method

George Boolos

1990

The unprovability of consistency

Modality (Logic) · Proof theory

The unprovability of consistency

George Boolos

1979

Logic, Logic, and Logic

Logic

Logic, Logic, and Logic

George Boolos

1999

Meaning and Method

Meaning and Method

George Boolos

1990

COMPUTABILITY AND LOGIC

GEORGE BOOLOS

Recursive functions · Symbolic and mathematical Logic

Computability and logic

George S. Boolos

1974

Computability and logic

Recursive functions · Symbolic and mathematical Logic

Computability and logic

George S. Boolos

2007

Logic, logic, and logic

Logic

Logic, logic, and logic

George Boolos

1998