(Paperback)

This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain inductive formulas, the bounded ones, are interpretable in Q. A mathematically strong, but logically very weak, predicative arithmetic is constructed. Originally published in 1986. The Princeton Legacy

(Hardback)

(Paperback)

Through a set of lively anecdotes and essays, Nathaniel Borenstein traces the divergence between the fields of software engineering and user-centered software design, and attempts to reconcile the needs of people in both camps. Originally published in 1991. The Princeton Legacy Library uses the latest print-on-demand technology to again make avai

(Hardback)

(Paperback)

Spiders In My House is a 1 through 10 very clever rhyming counting book for very young children. The pages are filled with silly and colorful pictures of various spiders one might find throughout their house in early Spring.

(Paperback)

Presents the history of a critical period in mathematics that includes accounts of the two principal influences upon Russell around 1900: the set theory of Cantor and the mathematical logic of Peano and his followers. This work provides surveys of many related topics and figures of the late nineteenth century.

(Paperback)

(Paperback)

This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.

(Paperback)

Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis. In Part One, he applies Scott- Solovay's Boolean-valued models of set theory to

(Hardback)

(Hardback, Main)

The maths of when things do - and don't - add up

(Paperback)

(Paperback)

A perennial bestseller by eminent mathematician G. Polya, How to Solve It will show anyone in any field how to think straight. In lucid and appealing prose, Polya reveals how the mathematical method of demonstrating a proof or finding an unknown can be of help in attacking any problem that can be "reasoned" out--from building a bridge to winning a

(Hardback)

(Paperback)

An engaging, accessible introduction into how numbers work and why we shouldnt be afraid of them, frommaths expertRachel Riley.

(Hardback)

Using a county fair, this volume explains how decimals, fractions, and percentages are calculated and used.

(Paperback)

Using a county fair, this volume explains how decimals, fractions, and percentages are calculated and used.

(Paperback, First Edition, First ed.)

Outstanding introductory treatment, geared toward advanced undergraduates and graduate students who require knowledge of graph theory. The first nine chapters constitute an excellent overview; the remaining chapters are more advanced and provide material for a variety of courses. 1974 edition.

(Paperback, 2nd Revised edition)

Advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. Self-contained treatment; useful for computer scientists. 2003 edition.

(Paperback, Main)

A fascinating exploration of an unexpected advantage that humans will have over our incoming robot masters: we're actually good at maths

(Paperback)

Ride along with trucker Jill and her dog as they add up the animals passing by in other trucks. But these are no ordinary animals, and they're bound for a surprise destination.

(Paperback)

Kids can learn how to double numbers in a fun way with this delightful story of a young boy who's taking care of five little ducks. Full-color illustrations.

(Paperback)

"An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well"--

(Paperback)

How many different combinations of ice cream sundaes can be made Readers get the scoop along with Winnie the lunch lady, her cat Marshmallow, and some curious kids in this delicious tale. Full-color illustrations.