The Leading eBooks Store Online
3,629,807 members ⚫ 1,172,494 ebooks
New to eBooks.com?Learn more
- Bestsellers - This Week
- Foreign Language Study
- Bestsellers - Last 6 months
- Graphic Books
- Health & Fitness
- Political Science
- Biography & Autobiography
- Psychology & Psychiatry
- Body Mind & Spirit
- House & Home
- Business & Economics
- Children's & Young Adult Fiction
- Juvenile Nonfiction
- Language Arts & Disciplines
- Crafts & Hobbies
- Science Fiction
- Current Events
- Literary Collections
- Literary Criticism
- Literary Fiction
- Social Science
- The Environment
- Sports & Recreation
- Family & Relationships
- Study Aids
- Folklore & Mythology
- Food and Wine
- Performing Arts
- True Crime
- Foreign Language Books
Most popular at the top
- Cambridge University Press 2003; US$ 72.00 US$ 59.04
This two-volume work bridges the gap between introductory texts and the research literature. more...
- Cambridge University Press 2003; US$ 46.00 US$ 37.72
This two-volume set bridges the gap between introductory texts and the research literature. more...
- World Scientific Publishing Company 2003; US$ 165.00
This 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...
- Oxford University Press 1998; US$ 144.99 US$ 124.69
In 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...
- OUP Oxford 2007; US$ 199.99 US$ 171.99
Assuming 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...
- Oxford University Press, USA 2011; US$ 15.99 US$ 13.75
While many think of algorithms as specific to computer science, at its core algorithmic thinking is defined by the use of analytical logic to solve problems. This logic extends far beyond the realm of computer science and into the wide and entertaining world of puzzles. In Algorithmic Puzzles, Anany and Maria Levitin use many classic brainteasers as... more...
- CRC Press 2006; US$ 47.95
From 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...
- De Gruyter 2014; US$ 168.00
The essays collected in this volume focus on the role of formalist aspects in mathematical theorizing and practice, examining issues such as infinity, finiteness, and proof procedures, as well as central historical figures in the field, including Frege, Russell, Hilbert and Wittgenstein. Using modern logico-philosophical tools and systematic... more...
- World Scientific Publishing Company 2014; US$ 37.00
This 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...
- Oxford University Press 2014; US$ 68.99 US$ 59.33
Kurt 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...