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

  • Lambda-Calculus and Combinatorsby J. Roger Hindley; Jonathan P. Seldin

    Cambridge University Press 2008; US$ 65.00

    This book gives an account of combinatory logic and lambda-calculus models. more...

  • Essays in Constructive Mathematicsby Harold M. Edwards

    Springer 2007; US$ 109.00

    This book aims to promote constructive mathematics not by defining it or formalizing it but by practicing it. This means that its definitions and proofs use finite algorithms, not `algorithms' that require surveying an infinite number of possibilities to determine whether a given condition is met. The topics covered derive from classic works of... more...

  • New Computational Paradigmsby S.B. Cooper; Benedikt Lowe; Andrea Sorbi

    Springer 2007; US$ 169.00

    Examines developments in the theory and practice of computation from a mathematical perspective, with topics ranging from classical computability to complexity, from biocomputing to quantum computing. This book covers topics in computability theory such as relative computability, theory of numberings, and domain theory. more...

  • Verblüfft?!: Mathematische Beweise unglaublicher Ideen (German Edition)by Julian Havil; Manfred Stern

    Springer 2009; US$ 19.95

    Das Buch stellt eine Reihe scheinbar paradoxer mathematischer Aussagen und deren Beweise vor. Sie kommen aus verschiedenen Bereichen der Mathematik, darunter das Geburtstagsparadoxon, Conways Chequerboard-Armee und Torricellis Trompete. Angewendet werden elementare Methoden der Kombinatorik, Wahrscheinlichkeitsrechnung, Statistik, Geometrie und Analysis.... 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...

  • Numbers Are Foreverby Liz Strachan

    Constable & Robinson 2014; US$ 14.57

    This book is only about numbers - that is, whole numbers and nothing but the whole numbers, which start from from 0, 1, 2, 3, 4... and go on forever. Here you can meet perfect numbers, happy numbers, lucky, untouchable, weird, narcissistic, evil and deficient numbers, not to mention nice Friedmans and multi-legged repunits, as well as primes... more...

  • Die Berechnung der Weltby Klaus Mainzer

    C.H. Beck 2014; US$ 21.13

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

  • Around and Beyond the Square of Oppositionby Jean-Yves Béziau; Dale Jacquette

    Springer 2012; US$ 89.95

    aiThe theory of oppositions based on Aristotelian foundations of logic has been pictured in a striking square diagram which can be understood and applied in many different ways having repercussions in various fields: epistemology, linguistics, mathematics, psychology. The square can also be generalized in other two-dimensional or multi-dimensional... more...

  • The Nuts and Bolts of Proofsby Antonella Cupillari

    Elsevier Science 2011; US$ 49.95

    The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs provides basic logic of mathematical proofs and shows how mathematical proofs work. It offers techniques for both reading and writing proofs. The second chapter of the book discusses the techniques in proving if/then statements by contrapositive and proofing by contradiction. It... more...