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
Combinatory logic

Most popular at the top

  • An Introduction to Mathematical Reasoningby Peter J. Eccles

    Cambridge University Press 1997; US$ 47.00

    The purpose of this book is to introduce the basic ideas of mathematical proof and reasoning to students starting university mathematics. more...

  • Computation and Automataby Arto Salomaa

    Cambridge University Press 1985; US$ 68.00

    In this 1985 book, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science. more...

  • Ways of Proof Theoryby Ralf Schindler

    De Gruyter 2010; US$ 196.00

    On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 ? 19, 2008. This event brought together proof theorists from many parts of the world who have been acting as teachers, students and collaborators... more...

  • Mathematical Analysis and Proofby D Stirling

    Elsevier Science 2009; US$ 70.00

    This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof. Beginning with the idea of mathematical proof and the need for it, associated technical and logical skills are developed with care and then brought to bear on the core material of analysis in such a lucid... more...

  • Sparse Grids and Applications - Munich 2012by Jochen Garcke; Dirk Pflüger

    Springer 2014; US$ 169.00

    Sparse grids have gained increasing interest in recent years for the numerical treatment of high-dimensional problems. Whereas classical numerical discretization schemes fail in more than three or four dimensions, sparse grids make it possible to overcome the ?curse? of dimensionality to some degree, extending the number of dimensions that can be dealt... more...

  • Computable Structures and the Hyperarithmetical Hierarchyby C.J. Ash; J. Knight

    Elsevier Science 2000; US$ 170.00

    This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There... more...

  • Die Berechnung der Weltby Klaus Mainzer

    C.H. Beck 2014; US$ 21.11

    Klaus Mainzer zeigt in diesem Buch, wie es bei dem Vorhaben, die Welt zu berechnen, zu einer Revolution der Denkart kam. Während Generationen von Mathematikern, Physikern und Philosophen auf der Suche nach der Weltformel mit Gleichungen arbeiteten und in den Kategorien von Ursache und Wirkung dachten, ist die «new science» dadurch charakterisiert,... more...

  • Proof, Logic and Formalizationby Michael Detlefsen

    Taylor and Francis 2005; US$ 155.00

    The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical propositions. The existence of other forms, some of very significant strength, places a question mark over the prominence given to proof within mathematics. This collection of essays, by leading figures... more...

  • Tracking Reasonby Jody Azzouni

    Oxford University Press 2006; US$ 23.99

    When ordinary people - mathematicians among them - take something to follow (deductively) from something else, they are exposing the backbone of our self-ascribed ability to reason. This book investigates the connection between that ordinary notion of consequence and the formal analogues invented by logicians. more...

  • Computability and Logicby George S. Boolos; John P. Burgess; Richard C. Jeffrey

    Cambridge University Press 2007; US$ 28.00

    Computability and Logic is a classic because of its accessibility to students without a mathematical background. This fifth edition was first published in 2007. more...