# The Leading eBooks Store Online

## for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...

Most popular at the top

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

Cambridge University Press 2003; US$ 72.00This two-volume 2003 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$ 46.00This 2003 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$ 267.00This 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...

#### In the Light of Logic

Oxford University Press 1999; US$ 124.99This volume brings together a revised and annotated selection of Solomon Feferman's most important writings, covering the relation between logic and mathematics, proof theory, objectivity and intentionality in mathematics, and key issues in the work of Godel, Hilbert and Turing. more...

#### Logica Universalis

Springer 2005; US$ 69.95Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic: Alfred Tarski and other Polish logicians such as Adolf Lindenbaum developed a general theory of logics at the end of the 1920s based on consequence... more...

#### Mathematical Logic

Oxford University Press, UK 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. - ;Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate... more...

#### Kurt Gödel

Cambridge University Press 2010; US$ 32.00Papers examining aspects of Godel's work gathered from a symposium celebrating Gödel's centennial and papers from a 2004 ASL symposium. more...

#### Formalism and Beyond

De Gruyter 2014; US$ 154.00The 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...

#### Slicing the Truth

World Scientific Publishing Company 2014; US$ 60.00This 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...

#### Mathematical Logic

Elsevier Science 2001; US$ 190.00Mathematical Logic is a collection of the works of one of the leading figures in 20th-century science. This collection of A.M. Turing's works is intended to include all his mature scientific writing, including a substantial quantity of unpublished material. His work in pure mathematics and mathematical logic extended considerably further; the work... more...