The Leading eBooks Store Online

3,667,858 members ⚫ 1,180,414 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

  • 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

    The first self-contained introduction to techniques of model theory, this 2002 text presents material still not readily available elsewhere, including Krivine's theorem and the Krivine-Maurey theorem on stable Banach spaces. 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...

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

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

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