The Leading eBooks Store Online

3,629,807 members ⚫ 1,172,494 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

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

  • Introduction to Formal Languagesby György E. Révész

    Dover Publications 2015; US$ 14.95

    Covers all areas, including operations on languages, context-sensitive languages, automata, decidability, syntax analysis, derivation languages, and more. Numerous worked examples, problem exercises, and elegant mathematical proofs. 1983 edition. more...

  • Introduction to Mathematical Thinkingby Friedrich Waismann

    Dover Publications 2012; US$ 14.95

    Examinations of arithmetic, geometry, and theory of integers; rational and natural numbers; complete induction; limit and point of accumulation; remarkable curves; complex and hypercomplex numbers; more. Includes 27 figures. 1959 edition. more...

  • The Logic of Chanceby John Venn

    Dover Publications 2013; US$ 34.95

    No mathematical background is necessary to appreciate this classic of probability theory, which remains unsurpassed in its clarity, readability, and sheer charm. Its author, British logician John Venn (1834-1923), popularized the famous Venn Diagrams that are commonly used for teaching elementary mathematics. In The Logic of Chance, he employs the... more...

  • Set Theory and Logicby Robert R. Stoll

    Dover Publications 2012; US$ 21.95

    Explores sets and relations, the natural number sequence and its generalization, extension of natural numbers to real numbers, logic, informal axiomatic mathematics, Boolean algebras, informal axiomatic set theory, several algebraic theories, and 1st-order theories. more...

  • Introduction to Logicby Patrick Suppes

    Dover Publications 2012; US$ 18.95

    Part I of this coherent, well-organized text deals with formal principles of inference and definition. Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Ideal for undergraduates. more...

  • Basic Real Analysisby Houshang H. Sohrab

    Springer New York 2014; US$ 89.99

    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$ 100.00 US$ 82.00

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

  • Proofs and Confirmationsby David M. Bressoud

    Cambridge University Press 1999; US$ 40.00 US$ 32.80

    An introduction to recent developments in algebraic combinatorics and an illustration of how research in mathematics actually progresses. more...