The Leading eBooks Store Online

3,757,227 members ⚫ 1,221,934 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

  • First-Order Logicby Raymond R. Smullyan

    Springer Berlin Heidelberg 2012; US$ 84.99

    Except for this preface, this study is completely self-contained. It is intended to serve both as an introduction to Quantification Theory and as an exposition of new results and techniques in "analytic" or "cut-free" methods. We use the term "analytic" to apply to any proof procedure which obeys the subformula principle (we think of such a procedure... more...

  • 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 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$ 56.30

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

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

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

  • Introduction to Mathematical Thinkingby Friedrich Waismann

    Dover Publications 2012; US$ 14.95

    Examinations of arithmetic, geometry, and theory of integers; rational and natural numbers; complete induction; limit and point of accumulation; remarkable curves; complex and hypercomplex numbers; more. Includes 27 figures. 1959 edition. more...