The Leading eBooks Store Online

for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...

New to

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

Most popular at the top

  • Mathematics and the Imaginationby Edward Kasner; James Newman

    Dover Publications 2013; US$ 16.95

    With wit and clarity, the authors progress from simple arithmetic to calculus and non-Euclidean geometry. Their subjects: geometry, plane and fancy; puzzles that made mathematical history; tantalizing paradoxes; more. Includes 169 figures. more...

  • Logic in Elementary Mathematicsby Robert M. Exner; Myron F. Rosskopf

    Dover Publications 2011; US$ 19.95

    This accessible, applications-related introductory treatment explores some of the structure of modern symbolic logic useful in the exposition of elementary mathematics. Numerous examples and exercises. 1959 edition. more...

  • Euclid in the Rainforestby Joseph Mazur

    Penguin Publishing Group 2006; US$ 15.00

    Like Douglas Hofstadter?s Gödel, Escher, Bach , and David Berlinski?s A Tour of the Calculus , Euclid in the Rainforest combines the literary with the mathematical to explore logic?the one indispensable tool in man?s quest to understand the world. Underpinning both math and science, it is the foundation of every major advancement in knowledge since... more...

  • Model Theoryby C.C. Chang; H. Jerome Keisler

    Dover Publications 2013; US$ 34.95

    This bestselling textbook for higher-level courses was extensively revised in 1990 to accommodate developments in model theoretic methods. Topics include models constructed from constants, ultraproducts, and saturated and special models. 1990 edition. more...

  • Studies in Logic and Probabilityby George Boole

    Dover Publications 2012; US$ 24.95

    Authoritative compilation ranges from The Mathematical Analysis of Logic to the end of Boole's career. Includes The Laws of Thought, plus incomplete studies intended for a follow-up volume. 1952 edition. more...

  • Mathematical Logicby Stephen Cole Kleene

    Dover Publications 2013; US$ 24.95

    Contents include an elementary but thorough overview of mathematical logic of 1st order; formal number theory; surveys of the work by Church, Turing, and others, including Gödel's completeness theorem, Gentzen's theorem, more. more...

  • The Axiom of Choiceby Thomas J. Jech

    Dover Publications 2013; US$ 15.95

    Comprehensive and self-contained text examines the axiom's relative strengths and consequences, including its consistency and independence, relation to permutation models, and examples and counterexamples of its use. 1973 edition. more...

  • Topoiby Robert Goldblatt

    Dover Publications 2013; US$ 29.95

    A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. more...

  • Basic Real Analysisby Houshang H. Sohrab

    Springer New York 2014; US$ 89.99

    This expanded second edition presents the fundamentals and touchstone results of real analysis in full rigor, but in a style that requires little prior familiarity with proofs or mathematical language. The text is a comprehensive and largely self-contained introduction to the theory of real-valued functions of a real variable. The chapters on Lebesgue... more...

  • Logic for Computer Scienceby Jean H. Gallier

    Dover Publications 2015; US$ 32.95

    This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic... more...