Proof theory

34 titles from eBooks.com

New Releases

Language

Ebook Format

DRM

An Introduction to Mathematical Reasoning: Numbers, Sets and Functions
AU$44.00

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

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs

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

An Introduction to Mathematical Proofs

AU$57.15

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

Math Proofs Demystified
AU$33.30

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

The Moment of Proof: Mathematical Epiphanies

The Moment of Proof

Mathematical Epiphanies

AU$24.03

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

Structural Proof Theory
AU$52.80

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

Mathematical Thinking and Writing: A Transition to Higher Mathematics

Mathematical Thinking and Writing

A Transition to Higher Mathematics

AU$133.95

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

A Transition to Abstract Mathematics: Learning Mathematical Thinking and Writing

A Transition to Abstract Mathematics (2nd ed.)

Learning Mathematical Thinking and Writing

AU$111.95

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

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs

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

An Introduction to Mathematical Proofs

AU$58.95

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

Linear Logic in Computer Science
AU$93.50

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

Learning to Reason: An Introduction to Logic, Sets, and Relations

Learning to Reason

An Introduction to Logic, Sets, and Relations

Wiley (2011)
AU$332.15

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