The Leading eBooks Store Online

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

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

  • Foundations and Fundamental Concepts of Mathematicsby Howard Eves

    Dover Publications 2012; US$ 16.95

    This third edition of a popular, well-received text offers undergraduates an opportunity to obtain an overview of the historical roots and the evolution of several areas of mathematics. The selection of topics conveys not only their role in this historical development of mathematics but also their value as bases for understanding the changing nature... more...

  • First Course in Mathematical Logicby Patrick Suppes; Shirley Hill

    Dover Publications 2012; US$ 14.95

    In modern mathematics, both the theory of proof and the derivation of theorems from axioms bear an unquestioned importance. The necessary skills behind these methods, however, are frequently underdeveloped. This book counters that neglect with a rigorous introduction that is simple enough in presentation and context to permit relatively easy comprehension.... more...

  • Elementary Induction on Abstract Structuresby Yiannis N. Moschovakis

    Dover Publications 2014; US$ 14.95

    Hailed by the Bulletin of the American Mathematical Society as "easy to use and a pleasure to read," this research monograph is recommended for students and professionals interested in model theory and definability theory. The sole prerequisite is a familiarity with the basics of logic, model theory, and set theory. The author, Professor of Mathematics... more...

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

    Dover Publications 2012; US$ 6.95

    Although mathematical logic can be a formidably abstruse topic, even for mathematicians, this concise book presents the subject in a lively and approachable fashion. It deals with the very important ideas in modern mathematical logic without the detailed mathematical work required of those with a professional interest in logic. The book begins with... more...

  • Computability and Unsolvabilityby Martin Davis

    Dover Publications 2013; US$ 16.95

    "A clearly written, well-presented survey of an intriguing subject." ? Scientific American . Classic text considers 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, computable... 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...

  • 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

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

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

  • Popular Lectures on Mathematical Logicby Hao Wang

    Dover Publications 2014; US$ 10.95

    A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic:... more...