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

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

  • Euclid in the Rainforestby Joseph Mazur

    Penguin Publishing Group 2006; US$ 15.00

    Like Douglas Hofstadter?s Gödel, Escher, Bach , and David Berlinski?s A Tour of the Calculus , Euclid in the Rainforest combines the literary with the mathematical to explore logic?the one indispensable tool in man?s quest to understand the world. Underpinning both math and science, it is the foundation of every major advancement in knowledge since... more...

  • Basic Real Analysisby Houshang H. Sohrab

    Springer New York 2014; US$ 89.99

    The second edition includes three expanded chapters, additional problems, and an application to fixed-point theory New solutions manual available to instructors upon request Elegant proofs and excellent choice of topics Numerous examples and exercises to enforce methodology; exercises integrated into the main text, as well as at the end of each... 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

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

  • Godel's Proofby James R. Newman; Ernest Nagel; Douglas R. Hofstadter

    NYU Press 2001; US$ 11.86

    In 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Gödel received public recognition of his work in 1951 when he was awarded the first Albert Einstein... more...

  • Current Topics in Artificial Intelligenceby Daniel Borrajo; Luis Castillo; Juan Manuel Corchado

    Springer 2007; US$ 64.95

    This book constitutes the refereed proceedings of the 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, held in Salamanca, Spain, in November 2007, in conjunction with the 7th Workshop on Artificial Intelligence Technology Transfer, TTIA 2007. The 28 revised full papers presented were carefully selected during two... more...

  • Implementation and Application of Automataby Jan Holub; Jan Zdarek

    Springer 2007; US$ 69.95

    This book constitutes the thoroughly refereed post-proceedings of the 12th International Conference on Implementation and Application of Automata, CIAA 2007, held in Prague, Czech Republic, in July 2007. The 23 revised full papers and 7 revised poster papers presented together with the extended abstracts of 4 invited lectures were carefully reviewed... more...