The Leading eBooks Store Online

3,725,826 members ⚫ 1,209,635 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

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

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

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

  • Topoiby Robert Goldblatt

    Dover Publications 2013; US$ 29.95

    A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. more...

  • Basic Real Analysisby Houshang H. Sohrab

    Springer New York 2014; US$ 63.43

    This expanded second edition presents the fundamentals and touchstone results of real analysis in full rigor, but in a style that requires little prior familiarity with proofs or mathematical language. The text is a comprehensive and largely self-contained introduction to the theory of real-valued functions of a real variable. The chapters on Lebesgue... more...

  • Logic for Computer Scienceby Jean H. Gallier

    Dover Publications 2015; US$ 32.95

    This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic... more...

  • A Guide to NIP Theoriesby Pierre Simon

    Cambridge University Press 2015; US$ 103.00

    The first book to introduce the rapidly developing subject of NIP theories, for students and researchers in model theory. more...