# The Leading eBooks Store Online

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

Most popular at the top

#### The Nuts and Bolts of Proofs

Elsevier Science 2011; US$ 49.95The 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...

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

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

#### Ways of Proof Theory

De Gruyter 2010; US$ 196.00On 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... more...

#### Math Proofs Demystified

McGraw-Hill Education 2005; US$ 19.95Stan Gibilisco is one of McGraw-Hill's most prolific and popular authors. His clear, reader-friendly writing style makes his math and science books accessible to a wide audience, and his background in research makes him an ideal editor for professional handbooks. He is the author of Geometry Demystified; Trigonometry Demystified; Statistics Demystified;... more...

#### A Logical Introduction to Proof

Springer New York 2012; US$ 59.95Identifies 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...

#### Tracking Reason

Oxford University Press 2006; US$ 23.99When 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...

#### Mathematical Thinking and Writing

Elsevier Science 2001; US$ 107.00The ability to construct proofs is one of the most challenging aspects of the world of mathematics. It is, essentially, the defining moment for those testing the waters in a mathematical career. Instead of being submerged to the point of drowning, readers of Mathematical Thinking and Writing are given guidance and support while learning the language... more...

#### Lectures on the Curry-Howard Isomorphism

Elsevier Science 2006; US$ 170.00The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic... more...

#### The Nuts and Bolts of Proofs

Elsevier Science 2005; US$ 53.95The 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...

#### Handbook of Proof Theory

Elsevier Science 1998; US$ 235.00This 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...