The Leading eBooks Store Online

3,603,993 members ⚫ 1,165,375 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

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

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

    Dover Publications 2014; US$ 19.95

    Combining stories of great writers and philosophers with quotations and riddles, this completely original text for first courses in mathematical logic examines problems related to proofs, propositional logic and first-order logic, undecidability, and other topics. 2013 edition. more...

  • Four Livesby Jason Rosenhouse; Raymond M. Smullyan

    Dover Publications 2014; US$ 24.95

    This "best of" collection of works by Raymond Smullyan features logic puzzles, musings on mathematical logic and paradoxes, chess problems, and thoughts on the philosophy of religion, plus personal tributes to the author. 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...

  • Proof Theoryby Gaisi Takeuti

    Dover Publications 2013; US$ 19.99

    This comprehensive monograph presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition. 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...

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