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

  • Proof Theoryby Katalin Bimbo

    Taylor and Francis 2014; US$ 89.95

    Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi... 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...

  • Applied Proof Theoryby Ulrich Kohlenbach

    Springer 2008; US$ 109.00

    This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. It covers both the necessary logical machinery behind the proof interpretations that are used in recent applications as well as - via extended case studies - carrying out some of these... more...

  • Verblüfft?!: Mathematische Beweise unglaublicher Ideen (German Edition)by Julian Havil; Manfred Stern

    Springer 2009; US$ 19.95

    Das Buch stellt eine Reihe scheinbar paradoxer mathematischer Aussagen und deren Beweise vor. Sie kommen aus verschiedenen Bereichen der Mathematik, darunter das Geburtstagsparadoxon, Conways Chequerboard-Armee und Torricellis Trompete. Angewendet werden elementare Methoden der Kombinatorik, Wahrscheinlichkeitsrechnung, Statistik, Geometrie und Analysis.... more...

  • A Framework for Priority Argumentsby Manuel Lerman

    Cambridge University Press 2010; US$ 72.00

    This book presents a unifying framework for using priority arguments to prove theorems in computability. more...

  • Structural Proof Theoryby Sara Negri; Jan von Plato; Aarne Ranta

    Cambridge University Press 2001; US$ 36.00

    A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs. more...

  • Theorems, Corollaries, Lemmas, and Methods of Proofby Richard J. Rossi

    Wiley 2011; US$ 139.00

    A hands-on introduction to the tools needed for rigorous and theoretical mathematical reasoning Successfully addressing the frustration many students experience as they make the transition from computational mathematics to advanced calculus and algebraic structures, Theorems, Corollaries, Lemmas, and Methods of Proof equips students with the tools... 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...

  • Learning to Reasonby Nancy Rodgers

    Wiley 2011; US$ 180.00

    Learn how to develop your reasoning skills and how to write well-reasoned proofs Learning to Reason shows you how to use the basic elements of mathematical language to develop highly sophisticated, logical reasoning skills. You'll get clear, concise, easy-to-follow instructions on the process of writing proofs, including the necessary reasoning techniques... more...

  • The Nuts and Bolts of Proofsby Antonella Cupillari

    Elsevier Science 2011; US$ 49.95

    The Nuts and Bolts of Proofs instructs students on the primary basic logic of mathematical proofs, showing how proofs of mathematical statements work. The text provides basic core techniques of how to read and write proofs through examples. The basic mechanics of proofs are provided for a methodical approach in gaining an understanding of the fundamentals... more...