(Paperback)

Introducing the Collins Modern Classics, a series featuring some of the most significant books of recent times, books that shed light on the human experience classics which will endure for generations to come.

(Hardback)

(Paperback)

(Hardback)

To help readers become better at solving real-world problems, this enlightening, entertaining, and inspiring book teaches simple, effective thinking techniques. The goal is not to quickly solve each challenge but to come up with as many different ways of thinking about it as possible.

(Hardback, Main)

A fascinating exploration of a surprising advantage that humans have over our incoming robot masters: we're actually good at maths.

(Paperback)

(Hardback)

(Hardback)

Alan Turing's 1938 Princeton PhD thesis, "Systems of Logic Based on Ordinals," which includes his notion of an oracle machine, has had a lasting influence on computer science and mathematics. This title presents the typescript of the thesis along with essays.

(Hardback)

In this book, the author introduces classical logic alongside constructive, relevant, comparative, and other nonclassical logics. It begins with brief introductions to informal set theory and general topology, and avoids advanced algebra; thus it is self-contained and suitable for readers with little background in mathematics.

(Hardback)

Relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. This book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the formalization not only of arithmetic, but also of group theory, field theory, and linear orderings.

(Paperback)

Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church's contributions to number theory and theories of algorithms and computability laid the theoretical foundations of computer science. This book is a basic source for understanding formal logic.

(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

(Paperback)

This illustrated edition of Walden features 66 photographs by Herbert W. Gleason, one of the great American landscape photographers of the nineteenth and early twentieth century. Gleason, who had a special love for what he called "the simple beauty of New England," became interested in Thoreau's work when commissioned in 1906 by the Houghton Miffli

(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)

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.

(Hardback)

(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

(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

(Paperback)

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

(Paperback, Main)

The bestselling author of Alex's Adventures in Numberland tells the story of the puzzle through 125 of the world's best brainteasers. Packed with eye-opening anecdotes, brain-stretching ideas and thoroughly addictive puzzles Can You Solve My Problems will leave you wonderstruck

(Paperback, Main)

One of the world's most creative mathematicians offers new ways to look at maths - focusing on questions, not answers

(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)

"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"--