The Leading eBooks Store Online

3,964,430 members ⚫ 1,303,930 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

  • 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 US$ 31.85

    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$ 62.36

    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$ 70.59

    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 US$ 103.50

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

  • Introduction to Proof in Abstract Mathematicsby Andrew Wohlgemuth

    Dover Publications 2014; US$ 19.95

    The primary purpose of this undergraduate text is to teach students to do mathematical proofs. It enables readers to recognize the elements that constitute an acceptable proof, and it develops their ability to do proofs of routine problems as well as those requiring creative insights. The self-contained treatment features many exercises, problems,... more...

  • Foundations and Fundamental Concepts of Mathematicsby Howard Eves

    Dover Publications 2012; US$ 16.95

    Third edition of popular undergraduate-level text offers historic overview, readable treatment of mathematics before Euclid, Euclid's Elements, non-Euclidean geometry, algebraic structure, formal axiomatics, sets, more. Problems, some with solutions. Bibliography. more...

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

    Dover Publications 2012; US$ 8.95

    First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. Introduction by R. B. Braithwaite. more...

  • Introduction to Formal Languagesby György E. Révész

    Dover Publications 2015; US$ 14.95

    Covers all areas, including operations on languages, context-sensitive languages, automata, decidability, syntax analysis, derivation languages, and more. Numerous worked examples, problem exercises, and elegant mathematical proofs. 1983 edition. more...