The Leading eBooks Store Online

3,667,858 members ⚫ 1,180,414 ebooks

New to eBooks.com?

Learn more
Browse our categories
  • Bestsellers - This Week
  • Foreign Language Study
  • Pets
  • Bestsellers - Last 6 months
  • Games
  • Philosophy
  • Archaeology
  • Gardening
  • Photography
  • Architecture
  • Graphic Books
  • Poetry
  • Art
  • Health & Fitness
  • Political Science
  • Biography & Autobiography
  • History
  • Psychology & Psychiatry
  • Body Mind & Spirit
  • House & Home
  • Reference
  • Business & Economics
  • Humor
  • Religion
  • Children's & Young Adult Fiction
  • Juvenile Nonfiction
  • Romance
  • Computers
  • Language Arts & Disciplines
  • Science
  • Crafts & Hobbies
  • Law
  • Science Fiction
  • Current Events
  • Literary Collections
  • Self-Help
  • Drama
  • Literary Criticism
  • Sex
  • Education
  • Literary Fiction
  • Social Science
  • The Environment
  • Mathematics
  • Sports & Recreation
  • Family & Relationships
  • Media
  • Study Aids
  • Fantasy
  • Medical
  • Technology
  • Fiction
  • Music
  • Transportation
  • Folklore & Mythology
  • Nature
  • Travel
  • Food and Wine
  • Performing Arts
  • True Crime
  • Foreign Language Books
Logic, Symbolic and mathematical; Methodology

  • Formalism and Beyondby Godehard Link

    De Gruyter 2014; US$ 134.73

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

  • Slicing the Truthby Denis R. Hirschfeldt; Chitat Chong; Qi Feng; Theodore A. Slaman; W. Hugh Woodi; Yue Yang

    World Scientific Publishing Company 2014; US$ 37.00 US$ 30.34

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

  • Kurt Godelby Kurt Gö; Solomon Feferman

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

  • Kurt Godelby Kurt Gö; Solomon Feferman

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

  • Kurt Gödelby Solomon Feferman; Charles Parsons; Stephen G. Simpson

    Cambridge University Press 2010; US$ 32.00 US$ 26.24

    Papers examining aspects of Godel's work gathered from a symposium celebrating Gödel's centennial and papers from a 2004 ASL symposium. more...

  • Realizabilityby Jaap van Oosten

    Elsevier Science 2008; US$ 180.00

    Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph.D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject... more...

  • Logica Universalisby Jean-Yves Beziau

    Birkhäuser Basel 2007; US$ 79.95

    Universal 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 Logicby Ian Chiswell; Wilfrid Hodges

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

  • Mathematics & Common Senseby Philip J. Davis

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

  • Logica Universalisby Jean-Yves Beziau

    Birkhäuser Basel 2005; US$ 69.95

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