Cambridge Mathematics  
  • View basket
  • Help
Home > Mathematics > Mathematics 2006

Contact College Sales

Mathematics 2006 - Foundations and Logic

Conceptual Mathematics

Conceptual Mathematics

F. William Lawvere, State University of New York, Buffalo
Stephen Hoel Schanuel, State University of New York, Buffalo

The idea of a "category"--a sort of mathematical universe--has brought about a remarkable unification and simplification of mathematics. Written by two of the best-known names in categorical logic, Conceptual Mathematics is the first book to apply categories to the most elementary mathematics. It thus serves two purposes: first, to provide a key to mathematics for the general reader or beginning student; and second, to furnish an easy introduction to categories for computer scientists, logicians, physicists, and linguists who want to gain some familiarity with the categorical method without initially committing themselves to extended study.

Request Examination Copy | Learn more...
Set Theory, Logic and their Limitations

Set Theory, Logic and their Limitations

Moshe Machover, King's College London

In this introduction to set theory and logic, the author discusses first order logic, and gives a rigorous axiomatic presentation of Zermelo-Fraenkel set theory. He includes many methodological remarks and explanations, and demonstrates how the basic concepts of mathematics can be reduced to set theory. He explains concepts and results of recursion theory in intuitive terms, and reaches the limitative results of Skolem, Tarski, Church and Gödel (the celebrated incompleteness theorems). For students of mathematics and philosophy, this book provides an excellent introduction to logic and set theory.

Request Examination Copy | Learn more...
An Introduction to Mathematical Reasoning

An Introduction to Mathematical Reasoning
Numbers, Sets and Functions

Peter J. Eccles, University of Manchester

This book eases students into the rigors of university mathematics. The emphasis is on understanding and constructing proofs and writing clear mathematics. The author achieves this by exploring set theory, combinatorics, and number theory, topics that include many fundamental ideas and may not be a part of a young mathematician's toolkit. This material illustrates how familiar ideas can be formulated rigorously, provides examples demonstrating a wide range of basic methods of proof, and includes some of the all-time-great classic proofs. The book presents mathematics as a continually developing subject. Material meeting the needs of readers from a wide range of backgrounds is included. The over 250 problems include questions to interest and challenge the most able student but also plenty of routine exercises to help familiarize the reader with the basic ideas.

Request Examination Copy | Learn more...
How to Prove It

How to Prove It
A Structured Approach

Daniel J. Velleman, Amherst College, Massachusetts

Geared to preparing students to make the transition from solving problems to proving theorems, this text teachs them the techniques needed to read and write proofs. The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed.

Request Examination Copy | Learn more...