Navigation Bar

Welcome to
Reader's Choice
Logic Bookshelf

Books are listed in order of popularity as rated by visitors to our site.

Rate the books you've read. Share your thoughts in a book review. Recommend new books. Find the next great book to read.

  • Rate any title from  1 (Horrible) to 10 (Incredible).
  • Submit your review of a title.
  • Recommend a title to be added to this list.
  • Read reviews from other book lovers or the press.
  • Purchase a book by clicking on its cover or title.
Title   Rate   Reviews
1

Infinity and the Mind:

The Science and Philosophy of the Infinite

Current rating
9.6
  • Submit review
  • Read Reviews
  • Press
  • 2

    Cellular Automata and Complexity

    Current rating
    9.4
  • Submit review
  • Read Reviews
  • Press
  • 3

    Introduction to Formal Languages

    Current rating
    9.3
  • Submit review
  • Read Reviews
  • Press
  • 4

    Fuzzy Sets and Fuzzy Logic:

    Theory and Applications

    Current rating
    9.3
  • Submit review
  • Read Reviews
  • Press
  • 5

    An Introduction to Kolmogorov Complexity and Its Applications

    Current rating
    9.2
  • Submit review
  • Read Reviews
  • Press
  • 6

    The Logic of Logistics : Theory, Algorithms, and Applications for Logistics Management

    Current rating
    9.2
  • Submit review
  • Read Reviews
  • Press
  • 7

    Mathematical Fallacies and Paradoxes

    Current rating
    9.2
  • Submit review
  • Read Reviews
  • Press
  • 8

    Languages and Machines:

    An Introduction to the Theory of Computer Science

    Current rating
    9.0
  • Submit review
  • Read Reviews
  • Press
  • 9

    Elements of the Theory of Computation

    Current rating
    8.8
  • Submit review
  • Read Reviews
  • Press
  • 10

    Introduction to the Theory of Computation

    Current rating
    8.8
  • Submit review
  • Read Reviews
  • Press
  • 11
    To Infinity and Beyond : A Cultural History of the Infinite

    Current rating
    8.8
  • Submit review
  • Read Reviews
  • Press
  • 12
    The Essence of Logic

    Current rating
    8.7
  • Submit review
  • Read Reviews
  • Press
  • 13
    How to Read and Do Proofs:

    An Introduction to Mathematical Thought Processes

    Current rating
    8.7
  • Submit review
  • Read Reviews
  • Press
  • 14
    Logic and Visual Information

    Current rating
    8.7
  • Submit review
  • Read Reviews
  • Press
  • 15
    Proofs and Refutations:

    The Logic of Mathematical Discovery

    Current rating
    8.5
  • Submit review
  • Read Reviews
  • Press
  • 16
    First Order Mathematical Logic

    Current rating
    8.5
  • Submit review
  • Read Reviews
  • Press
  • 17
    Introduction to Languages and the Theory of Computation

    Current rating
    8.4
  • Submit review
  • Read Reviews
  • Press
  • 18
    Automata and Computability

    Current rating
    8.2
  • Submit review
  • Read Reviews
  • Press
  • 19
    Computability, Complexity, and Languages : Fundamentals of Theoretical Computer Science

    Current rating
    8.1
  • Submit review
  • Read Reviews
  • Press
  • 20
    From Stimulus to Science

    Current rating
    7.9
  • Submit review
  • Read Reviews
  • Press
  •  
    Other popular books in this field
    More or Less a Mess
    Computability and Logic
    How to Solve Mathematical Problems
    Computability and Unsolvability
    Understanding the Infinite
    Nuts and Bolts of Proofs
    Investigation of the Laws of Thought
    Complexity and Real Computation
    Axiomatic Set Theory
    A Shorter Model Theory
    Godel's Incompleteness Theorems
    The Automation of Reasoning:
    An Experimenter's Notebook With Otter Tutorial
    Principia Mathematica to 56
    What Is Mathematical Logic?
    An Accompaniment to Higher Mathematics
    The Language of Machines:
    An Introduction to Computability and Formal Languages
    Popular Lectures on Mathematical Logic
    On Formally Undecidable Propositions of Principia Mathematica and Related Systems
    An Introduction to Fuzzy Logic for Practical Applications
    Atlas for Computing Mathematical Functions:
    An Illustrated Guidebook for Practitioners, With Programs in C and Mathematica
    Foundations of Mathematical Logic
    How to Prove It:
    A Structured Approach
    Naive Set Theory
    Logic of Mathematics : A Modern Course of Classical Logic
    Introduction to Hol:
    A Theorem Proving Environment for Higher Order Logic
    Mathematical Logic
    Collected Works:
    Publications 1929-1936 Vol 1
    Introduction to Elementary Mathematical Logic
    Introduction to Logic and to the Methodology of Deductive Sciences
     
    TITLE 
    AUTHOR

    Logic

    in the News
    Logic

    Chatter
    Logic

    Events
    Logic

    Web Sites

    | Home | Shelves | Book Chat | Search |