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

Most popular at the top

  • Ways of Proof Theoryby Ralf Schindler

    De Gruyter 2010; US$ 196.00

    On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 ? 19, 2008. This event brought together proof theorists from many parts of the world who have been acting as teachers, students and collaborators... more...

  • Math Proofs Demystifiedby Stan Gibilisco

    McGraw-Hill Education 2005; US$ 22.00

    Almost every student has to study some sort of mathematical proofs, whether it be in geometry, trigonometry, or with higher-level topics. In addition, mathematical theorems have become an interesting course for many students outside of the mathematical arena, purely for the reasoning and logic that is needed to complete them. Therefore, it is not... more...

  • Student Solutions Manual for A Transition to Abstract Mathematicsby Randall Maddox

    Elsevier Science 2013; US$ 14.99

    Student Solutions Manual for A Transition to Abstract Mathematics more...

  • Mathematical Analysis and Proofby D Stirling

    Elsevier Science 2009; US$ 70.00

    This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof. Beginning with the idea of mathematical proof and the need for it, associated technical and logical skills are developed with care and then brought to bear on the core material of analysis in such a lucid... 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...

  • Proof, Logic and Formalizationby Michael Detlefsen

    Taylor and Francis 2005; US$ 155.00

    The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical propositions. The existence of other forms, some of very significant strength, places a question mark over the prominence given to proof within mathematics. This collection of essays, by leading figures... more...

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

  • Adapting Proofs-as-Programsby Iman Hafiz Poernomo; Martin Wirsing; John Newsome Crossley

    Springer 2007; US$ 169.00

    Details developments in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. 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...

  • The Proof is in the Puddingby Steven G. Krantz

    Springer 2011; US$ 49.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...