Patrick Suppes: 3 books

One of the most pressingproblems of mathematics over the last hundred years has been the question: What is a number? One of the most impressive answers has been the axiomatic development of set theory. The question raised is: "Exactly what assumptions, beyond those of elementary logic, are required...

Part I of this coherent, well-organized text deals with formal principles of inference and definition. Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Ideal for undergraduates.

In modern mathematics, both the theory of proof and the derivation of theorems from axioms bear an unquestioned importance. The necessary skills behind these methods, however, are frequently underdeveloped. This book counters that neglect with a rigorous introduction that is simple enough in presentation...