Mathematician's world.- Language, logic and computations.- Set theory.- Proofs of impossibility.- The complexity of computations.- Proof complexity.- Consistency, Truth and Existence.- References.
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.