# The Leading eBooks Store Online

## 4,353,660 members ⚫ 1,442,818 ebooks

Most popular at the top

#### Lectures in Logic and Set Theory: Volume 2, Set Theory

Cambridge University Press 2003; US$ 64.00This two-volume work bridges the gap between introductory texts and the research literature. more...

#### Lectures in Logic and Set Theory: Volume 1, Mathematical Logic

Cambridge University Press 2003; US$ 48.00This two-volume set bridges the gap between introductory texts and the research literature. more...

#### Mathematical Logic In The 20th Century

World Scientific Publishing Company 2003; US$ 82.00 US$ 74.62This invaluable book is a collection of 31 important both in ideas and results papers published by mathematical logicians in the 20th Century. The papers have been selected by Professor Gerald E Sacks. Some of the authors are Gödel, Kleene, Tarski, A Robinson, Kreisel, Cohen, Morley, Shelah, Hrushovski and Woodin. more...

#### Lectures on Mathematical Logic, Volume II

CRC Press 2014; US$ 57.95In this volume, logic starts from the observation that in everyday arguments, as brought forward by say a lawyer, statements are transformed linguistically, connecting them in formal ways irrespective of their contents. Understanding such arguments as deductive situations, or "sequents" in the technical terminology, the transformations between them... more...

#### In the Light of Logic

Oxford University Press 1998; US$ 154.99In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics. Most troubling among these is the revolutionary way in which Georg Cantor elaborated the nature of the infinite, and in doing so helped... more...

#### Mathematical Logic

OUP Oxford 2007; US$ 69.99Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. more...

#### Algorithmic Puzzles

Oxford University Press 2011; US$ 17.99Algorithmic puzzles are puzzles involving well-defined procedures for solving problems. This book will provide an enjoyable and accessible introduction to algorithmic puzzles that will develop the reader's algorithmic thinking. more...

#### Mathematics & Common Sense

CRC Press 2006; US$ 47.95From the Preface: "This book is addressed to all who are curious about the nature of mathematics and its role in society. It is neither a text book nor a specialists' book. It consists of a number of loosely linked essays that may be read independently and for which I have tried to provide a leitmotif by throwing light on the relationship between mathematics... more...

#### Slicing the Truth

World Scientific Publishing Company 2014; US$ 18.00 US$ 16.38This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in the last few years. It provides an overview of some fundamental ideas and techniques, and enough context to make it possible for students with at least a... more...

#### Kurt Godel

Oxford University Press 2014; US$ 68.99Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations... more...