# The Leading eBooks Store Online

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

Most popular at the top

#### Structural Proof Theory

Cambridge University Press 2001; US$ 36.00A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs. more...

#### Student Solutions Manual for A Transition to Abstract Mathematics

Elsevier Science 2013; US$ 14.99Student Solutions Manual for A Transition to Abstract Mathematics more...

#### An Introduction to Mathematical Reasoning

Cambridge University Press 1997; US$ 52.00The purpose of this book is to introduce the basic ideas of mathematical proof and reasoning to students starting university mathematics. more...

#### There's Something About Gdel

John Wiley & Sons 2009; US$ 99.95Berto’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...

#### Math Proofs Demystified

McGraw-Hill Education 2005; US$ 22.00Almost 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 Theory

Springer 2008; US$ 109.00This 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)

Springer 2009; US$ 19.95Das 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...

#### Theorems, Corollaries, Lemmas, and Methods of Proof

Wiley 2011; US$ 139.00A 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...

#### Learning to Reason

Wiley 2011; US$ 180.00Learn 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...