The Leading eBooks Store Online

for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, Sony Reader...

New to eBooks.com?

Learn more
Browse our categories
  • Bestsellers - This Week
  • Foreign Language Study
  • Pets
  • Bestsellers - Last 6 months
  • Games
  • Philosophy
  • Archaeology
  • Gardening
  • Photography
  • Architecture
  • Graphic Books
  • Poetry
  • Art
  • Health & Fitness
  • Political Science
  • Biography & Autobiography
  • History
  • Psychology & Psychiatry
  • Body Mind & Spirit
  • House & Home
  • Reference
  • Business & Economics
  • Humor
  • Religion
  • Children's & Young Adult Fiction
  • Juvenile Nonfiction
  • Romance
  • Computers
  • Language Arts & Disciplines
  • Science
  • Crafts & Hobbies
  • Law
  • Science Fiction
  • Current Events
  • Literary Collections
  • Self-Help
  • Drama
  • Literary Criticism
  • Sex
  • Education
  • Literary Fiction
  • Social Science
  • The Environment
  • Mathematics
  • Sports & Recreation
  • Family & Relationships
  • Media
  • Study Aids
  • Fantasy
  • Medical
  • Technology
  • Fiction
  • Music
  • Transportation
  • Folklore & Mythology
  • Nature
  • Travel
  • Food and Wine
  • Performing Arts
  • True Crime
  • Foreign Language Books
Proof theory

Most popular at the top

  • The Moment of Proofby Donald C. Benson

    Oxford University Press, USA 2000; US$ 22.99

    When Archimedes, while bathing, suddenly hit upon the principle of buoyancy, he ran wildly through the streets of Syracuse, stark naked, crying "eureka!" In The Moment of Proof, Donald Benson attempts to convey to general readers the feeling of eureka--the joy of discovery--that mathematicians feel when they first encounter an elegant proof.... more...

  • The Proof is in the Puddingby Steven G. Krantz

    Springer 2011; US$ 31.99

    This text explores the many transformations that the mathematical proof has undergone from its inception to its versatile, present-day use, considering the advent of high-speed computing machines. Though there are many truths to be discovered in this book, by the end it is clear that there is no formalized approach or standard method of discovery to... more...

  • A Transition to Abstract Mathematicsby Randall Maddox

    Elsevier Science 2008; US$ 89.95

    Constructing concise and correct proofs is one of the most challenging aspects of learning to work with advanced mathematics. Meeting this challenge is a defining moment for those considering a career in mathematics or related fields. Mathematical Thinking and Writing teaches readers to construct proofs and communicate with the precision necessary... more...

  • Frege's Notationsby Professor Gregory Landini

    Palgrave Macmillan 2012; US$ 85.00

    A faithful reading of Frege's ideographic notations makes terms and well-formed formulas disjoint categories. Where ? is a function term, ?? is a well-formed formula. We can at last read Frege in the original. And when we do, new solutions to the many problems of interpreting his philosophy are revealed. more...

  • Mathematischer Einführungskurs für die Physikby Siegfried Großmann

    Springer 2012; US$ 31.99

    Studierende, die ein Physikstudium aufnehmen, brauchen zu Beginn vor allem eines: mathematische Grundkenntnisse. Da es sich hierbei zun chst um einen relativ beschr nkten und charakteristischen Ausschnitt aus der Mathematik handelt, werden die ben tigten Kompetenzen vor allem im Rahmen von Tutorien oder Arbeitsgruppen vermittelt. Dieser Einf hrungskurs... more...

  • Logic in algebraic formby William Craig

    Elsevier Science 2000; US$ 250.00

    Provability, Computability and Reflection more...