The Leading eBooks Store Online

3,508,729 members ⚫ 2,065,349 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

Most popular at the top

  • Canonical Ramsey Theory on Polish Spacesby Vladimir Kanovei; Marcin Sabok; Jindrich Zapletal

    Cambridge University Press 2013; US$ 64.00

    Lays the foundations for a new area of descriptive set theory: the connection between forcing and analytic equivalence relations. more...

  • Monoidal Topologyby Dirk Hofmann; Gavin J. Seal; Walter Tholen

    Cambridge University Press 2014; US$ 104.00

    Based on lax-algebraic and categorical methods, Monoidal Topology provides a unified theory for metric and topological structures with far-reaching applications. more...

  • Basic Category Theoryby Tom Leinster

    Cambridge University Press 2014; US$ 52.00

    A short introduction ideal for students learning category theory for the first time. more...

  • Predicative Arithmetic. (MN-32)by Edward Nelson

    Princeton University Press 2014; US$ 35.00

    This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain inductive formulas, the bounded ones, are interpretable in Q. A mathematically strong, but logically very weak, predicative arithmetic is constructed. Originally published in 1986. The Princeton Legacy... more...

  • Set Theoryby Ralf Schindler

    Springer International Publishing 2014; US$ 79.99

    This textbook gives an introduction to axiomatic set theory and examines the prominent questions that are relevant in current research in a manner that is accessible to students. Its main theme is the interplay of large cardinals, inner models, forcing and descriptive set theory. The following topics are covered: ? Forcing and constructability ?... more...

  • A Cp-Theory Problem Bookby Vladimir V Tkachuk

    Springer International Publishing 2014; US$ 89.99

    This volume of Vladimir Tkachuk?s series covers all the major topics in Cp-theory, providing 500 selected problems and exercises as well as their complete solutions and guiding the student from basic topological principles to the frontiers of modern research. more...

  • A First Course in Mathematical Logic and Set Theoryby Michael L. O'Leary

    Wiley 2015; US$ 115.00

    A mathematical introduction to the theory and applications of logic and set theory with an emphasis on writing proofs Highlighting the applications and notations of basic mathematical concepts within the framework of logic and set theory, A First Course in Mathematical Logic and Set Theory introduces how logic is used to prepare and structure... more...

  • On Formally Undecidable Propositions of Principia Mathematica and Related Systemsby Kurt Gödel

    Dover Publications 2012; US$ 8.95

    In 1931, a young Austrian mathematician published an epoch-making paper containing one of the most revolutionary ideas in logic since Aristotle. Kurt Giidel maintained, and offered detailed proof, that in any arithmetic system, even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It... more...

  • The Philosophy of Mathematicsby Auguste Comte

    Dover Publications 2013; US$ 39.99

    Written by the nineteenth-century French philosophical founder of positivism, this comprehensive map of mathematical science assigns to each part of the complex whole its true position and value. The two-part treatment begins with a general view of mathematical analysis and advances to algebra, continuing with an exploration of geometry's ancient... more...

  • On the Study and Difficulties of Mathematicsby Augustus De Morgan

    Dover Publications 2014; US$ 57.50

    One of the twentieth century's most eminent mathematical writers, Augustus De Morgan enriched his expositions with insights from history and psychology. On the Study and Difficulties of Mathematics represents some of his best work, containing points usually overlooked by elementary treatises, and written in a fresh and natural tone that provides a... more...