The Leading eBooks Store Online

4,130,202 members ⚫ 1,348,641 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

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

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

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

  • First Course in Mathematical Logicby Patrick Suppes; Shirley Hill

    Dover Publications 2012; US$ 14.95

    Rigorous introduction is simple enough in presentation and context for wide range of students. Symbolizing sentences; logical inference; truth and validity; truth tables; terms, predicates, universal quantifiers; universal specification and laws of identity; more. more...

  • Elementary Induction on Abstract Structuresby Yiannis N. Moschovakis

    Dover Publications 2014; US$ 14.95

    Well-written research monograph, recommended for students and professionals interested in model theory and definability theory. "Easy to use and a pleasure to read." — Bulletin of the American Mathematical Society. 1974 edition. more...

  • What Is Mathematical Logic?by J. N. Crossley; C.J. Ash; C.J. Brickhill; J.C. Stillwell

    Dover Publications 2012; US$ 6.95

    A serious introductory treatment geared toward non-logicians, this survey traces the development of mathematical logic from ancient to modern times and discusses the work of Planck, Einstein, Bohr, Pauli, Heisenberg, Dirac, and others. 1972 edition. more...

  • Computability and Unsolvabilityby Martin Davis

    Dover Publications 2013; US$ 16.95

    Classic graduate-level introduction to theory of computability. Discusses general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, more. more...

  • An Introduction to Stability Theoryby Anand Pillay

    Dover Publications 2013; US$ 11.95

    This introductory treatment covers the basic concepts and machinery of stability theory. Lemmas, corollaries, proofs, and notes assist readers in working through and understanding the material and applications. Full of examples, theorems, propositions, and problems, it is suitable for graduate students in logic and mathematics, professional mathematicians,... more...

  • Topos Theoryby P.T. Johnstone

    Dover Publications 2014; US$ 24.95

    One of the best books on a relatively new branch of mathematics, this text is the work of a leading authority in the field of topos theory. Suitable for advanced undergraduates and graduate students of mathematics, the treatment focuses on how topos theory integrates geometric and logical ideas into the foundations of mathematics and theoretical computer... more...