# The Leading eBooks Store Online

## 4,034,055 members ⚫ 1,328,001 ebooks

#### Formalism and Beyond

De Gruyter 2014; US$ 142.99This series provides a forum for cutting-edge studies in logic and the modern philosophy of language as well as for publications in the field of analytical metaphysics. 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...

#### 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...

#### 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...

#### Kurt Gödel

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

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

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

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

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

#### Logica Universalis

Birkhäuser Basel 2005; US$ 50.98Universal 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. It was revived after the flowering of thousands of new logics during the last thirty years: there was a need for a systematic theory of logics... more...

#### Logica Universalis

Birkhäuser Basel 2007; US$ 50.78Universal 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. It was revived after the flowering of thousands of new logics during the last thirty years: there was a need for a systematic theory of logics... more...

#### Mathematical Logic

OUP Oxford 2007; US$ 199.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...