# The Leading eBooks Store Online

## 3,915,026 members ⚫ 1,276,665 ebooks

Most popular at the top

#### Computability Theory

Elsevier Science 2011; US$ 9.99Computability Theory: An Introduction to Recursion Theory, provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized... more...

#### Learning to Reason

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

#### Varieties of Constructive Mathematics

Cambridge University Press 1987; US$ 52.00This is an introduction to, and survey of, the constructive approaches to pure mathematics. more...

#### Proof and Proving in Mathematics Education

Springer Netherlands 2012; US$ 222.74Proof 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...

#### A Logical Introduction to Proof

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

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

#### Computation and Automata

Cambridge University Press 1985; US$ 74.00In this 1985 book, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science. more...

#### Ways of Proof Theory

De Gruyter 2010; 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...

#### Understanding Mathematical Proof

CRC Press 2016; US$ 59.95The notion of proof is central to mathematics yet it is one of the most difficult aspects of the subject to teach and master. In particular, undergraduate mathematics students often experience difficulties in understanding and constructing proofs. Understanding Mathematical Proof describes the nature of mathematical proof, explores the various... more...