The Leading eBooks Store Online

for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...

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

  • Tracking Reasonby Jody Azzouni

    Oxford University Press 2006; US$ 23.99

    When ordinary people - mathematicians among them - take something to follow (deductively) from something else, they are exposing the backbone of our self-ascribed ability to reason. This book investigates the connection between that ordinary notion of consequence and the formal analogues invented by logicians. more...

  • 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...

  • There's Something About Gdelby Francesco Berto

    John Wiley & Sons 2009; US$ 99.95

    Berto’s highly readable and lucid guide introduces students and the interested reader to Gödel’s celebrated Incompleteness Theorem , and discusses some of the most famous - and infamous - claims arising from Gödel's arguments. Offers a clear understanding of this difficult subject by presenting each of the key steps of the ... more...

  • Proof Theoryby Katalin Bimbo

    CRC Press 2014; US$ 89.95

    Proofs and proof theory Proofs of all kinds Early history of proof theory in a nutshell Proofs as calculations Classical first-order logic The sequent calculus LK An axiom system for FOL Equivalence of LK and K Interpretations, soundness and completeness Variants of the first sequent calculi Intuitionistic logic and... more...

  • Handbook of Proof Theoryby S.R. Buss

    Elsevier Science 1998; US$ 235.00

    This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics... more...

  • Around and Beyond the Square of Oppositionby Jean-Yves Béziau; Dale Jacquette

    Springer 2012; US$ 89.95

    aiThe theory of oppositions based on Aristotelian foundations of logic has been pictured in a striking square diagram which can be understood and applied in many different ways having repercussions in various fields: epistemology, linguistics, mathematics, psychology. The square can also be generalized in other two-dimensional or multi-dimensional... more...

  • Logic in algebraic formby William Craig

    Elsevier Science 2000; US$ 275.00

    Provability, Computability and Reflection more...

  • A Logical Introduction to Proofby Daniel Cunningham

    Springer New York 2012; US$ 59.95

    Identifies the important topics in logic that mathematicians use in their proofs Methodically presents the key strategies used in mathematical proofs Each proof strategy is illustrated by a variety of theorems concerning the natural, rational and real numbers An introduction to group theory and real analysis that presents proof strategies for dealing... more...

  • The Nuts and Bolts of Proofsby Antonella Cupillari

    Elsevier Science 2011; US$ 49.95

    The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs provides basic logic of mathematical proofs and shows how mathematical proofs work. It offers techniques for both reading and writing proofs. The second chapter of the book discusses the techniques in proving if/then statements by contrapositive and proofing by contradiction. It... more...

  • The Nuts and Bolts of Proofsby Antonella Cupillari

    Elsevier Science 2005; US$ 53.95

    The Nuts and Bolts of Proof instructs students on the basic logic of mathematical proofs, showing how and why proofs of mathematical statements work. It provides them with techniques they can use to gain an inside view of the subject, reach other results, remember results more easily, or rederive them if the results are forgotten.A flow chart graphically... more...