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

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

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

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

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

  • Applications of Model Theory to Functional Analysisby Jose Iovino

    Dover Publications 2014; US$ 12.95

    During the last two decades, methods that originated within mathematical logic have exhibited powerful applications to Banach space theory, particularly set theory and model theory. This volume constitutes the first self-contained introduction to techniques of model theory in Banach space theory. The area of research has grown rapidly since this monograph's... more...

  • A Beginner's Guide to Mathematical Logicby Raymond M. Smullyan

    Dover Publications 2014; US$ 19.95

    Combining stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic, this new textbook for first courses in mathematical logic was written by the subject's creative master. Raymond Smullyan offers clear, incremental presentations of difficult logic concepts with creative explanations and unique problems related... more...

  • Four Livesby Jason Rosenhouse; Raymond M. Smullyan

    Dover Publications 2014; US$ 24.95

    This "best of" collection of works by Raymond Smullyan features excerpts from his published writings, including logic puzzles, explorations of mathematical logic and paradoxes, retrograde analysis chess problems, jokes and anecdotes, and meditations on the philosophy of religion. In addition, numerous personal tributes salute this celebrated professor,... more...