#### Your Cart

Your cart is empty!

We strive to deliver the best value to our customers and ensure complete satisfaction for all our textbook rentals.

- You can return your online books for any reason within our refund period – no questions asked.
- Every order is available for express shipping, and return shipping is always free.
- You'll be happy with the quality of your books (or we'll ship you another one on our dime).
- You can extend your rental at any time – at the same cheap daily rental rate.
- If you decide to keep the book it will never cost more than the purchase price.

As always, you have access to over 5 million titles. Plus, you can choose from 5 rental periods, so you only pay for what you’ll use. And if you ever run into trouble, our top-notch U.S. based Customer Service team is ready to help by email, chat or phone.

* Free shipping excludes HI, AK and PR.

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Pages: 184. Chapters: Algorithm, Set theory, List of mathematical symbols, Surreal number, Entscheidungsproblem, Recursion, Mathematical induction, Principia Mathematica, Model theory, Gödel's completeness theorem, Mathematical...
Show More

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Pages: 184. Chapters: Algorithm, Set theory, List of mathematical symbols, Surreal number, Entscheidungsproblem, Recursion, Mathematical induction, Principia Mathematica, Model theory, Gödel's completeness theorem, Mathematical proof, Vacuous truth, Finitary relation, Original proof of Gödel's completeness theorem, Contradiction, Primitive notion, Foundations of mathematics, Curry's paradox, Infinitesimal, Computability theory, Charles Sanders Peirce bibliography, Gödel's incompleteness theorems, Laws of Form, Turing's proof, List of first-order theories, Kripke semantics, Proof of impossibility, Reverse mathematics, Quantum logic, Metamath, Outline of logic, Rewriting, Interior algebra, Proof sketch for Gödel's first incompleteness theorem, Relation algebra, Tautology, List of logic systems, Subitizing, Universe, List of mathematical logic topics, Dedekind number, Counting, Indicator function, Residuated lattice, Contraposition, Enumeration, Proof theory, On Formally Undecidable Propositions of Principia Mathematica and Related Systems, Game semantics, Impredicativity, Metalogic, Hilbert's program, Tarski's undefinability theorem, Residuated Boolean algebra, Formal system, Extension by definitions, Rational consequence relation, Gödel numbering, Absoluteness, Object language, Craig interpolation, Definable set, Diagonal lemma, Peirce's law, Kruskal's tree theorem, Rosser's trick, LF, Recursive definition, Ground expression, Stratification, Laver table, Equiconsistency, Metamathematics, Löwenheim number, Inverse relation, Bunched logic, Epsilon calculus, Entitative graph, Existential theory of the reals, Institutional model theory, Turnstile, Continuous predicate, Double negation, Grundlagen der Mathematik, Euler calculus, Formal calculation, Hypostatic abstraction, Complete theory, T-schema, Classical mathematics, Glivenko's theorem, R...
Show Less

Out of Stock

So sorry. Try back another time as our inventory fluctuates daily.

Try Another Book?Since launching the first textbook rental site in 2006, BookRenter has never wavered from our mission to make education more affordable for all students. Every day, we focus on delivering students the best prices, the most flexible options, and the best service on earth. On March 13, 2012 BookRenter.com, Inc. formally changed its name to Rafter, Inc. We are still the same company and the same people, only our corporate name has changed.