# Proof theory

34 titles from eBooks.com

## An Introduction to Mathematical Reasoning

### Numbers, Sets and Functions

Cambridge University Press (1997)
CA\$35.85

The purpose of this book is to introduce the basic ideas of mathematical proof and reasoning to...

## The Nuts and Bolts of Proofs (3rd ed.)

### An Introduction to Mathematical Proofs

Elsevier Science (2005)
CA\$60.00

The Nuts and Bolts of Proof instructs students on the basic logic of mathematical proofs, showing...

## Math Proofs Demystified

McGraw-Hill Education (2005)
CA\$28.54

Almost every student has to study some sort of mathematical proofs, whether it be in geometry,...

## The Moment of Proof

### Mathematical Epiphanies

Oxford University Press (2000)
CA\$19.96

When Archimedes, while bathing, suddenly hit upon the principle of buoyancy, he ran wildly through...

## Structural Proof Theory

Cambridge University Press (2001)
CA\$39.44

A concise introduction to structural proof theory, a branch of logic studying the general structure...

## Mathematical Thinking and Writing

### A Transition to Higher Mathematics

Elsevier Science (2001)
CA\$119.00

The ability to construct proofs is one of the most challenging aspects of the world of mathematics....

## A Transition to Abstract Mathematics (2nd ed.)

### Learning Mathematical Thinking and Writing

Elsevier Science (2008)
CA\$100.00

Constructing concise and correct proofs is one of the most challenging aspects of learning to work...

## The Nuts and Bolts of Proofs (4th ed.)

### An Introduction to Mathematical Proofs

Elsevier Science (2011)
CA\$56.00

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs provides basic logic of...

## Linear Logic in Computer Science

Cambridge University Press (2004)
CA\$76.19

This book illustrates linear logic in the application of proof theory to computer science.

## Learning to Reason

### An Introduction to Logic, Sets, and Relations

Wiley (2011)
CA\$215.78

Learn how to develop your reasoning skills and how to writewell-reasoned proofs Learning to...