# The Leading eBooks Store Online

## 4,391,687 members ⚫ 1,493,850 ebooks

Most popular at the top

#### Applied Proof Theory: Proof Interpretations and their Use in Mathematics

Springer Berlin Heidelberg 2008; US$ 86.47This 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...

#### A Framework for Priority Arguments

Cambridge University Press 2010; US$ 61.00This book presents a unifying framework for using priority arguments to prove theorems in computability. more...

#### Structural Proof Theory

Cambridge University Press 2001; US$ 38.00A 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 Proof

Wiley 2011; US$ 149.00 US$ 134.10A 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$ 192.00 US$ 172.80Learn 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... more...

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

#### A Logical Introduction to Proof

Springer New York 2012; US$ 46.11This unique textbook uses a ‘logic-first’ approach to train and guide undergraduates through transition courses bridging calculus and advanced mathematics. It also offers a valuable introduction to group theory and real analysis, including proof strategies. more...

#### Proof and Proving in Mathematics Education

Springer Netherlands 2012; US$ 196.01Proof and Proving in Mathematics Education argues that deductive reasoning and proof should be integral parts of any mathematics curriculum. It identifies the resources teachers needed to enact such instruction, and facilitates the design of teacher education and development programs that provide them. more...

#### An Introduction to Mathematical Reasoning

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

#### Ways of Proof Theory

De Gruyter 2013; US$ 224.00In the last decades, mathematical logic has developed into a technically quite sophisticated area of mathematics. Nevertheless, inspirations from philosophy and computer science continue to be important and noticeable. The series publishes conference proceedings as well as monographs written by leading researchers in mathematical logic.... more...