The Leading eBooks Store Online

for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, Sony Reader...

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

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

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

  • Invitation to Fixed-Parameter Algorithmsby Rolf Niedermeier

    Oxford University Press 2006; US$ 139.99

    This research-level text is an application-oriented introduction to the growing and highly topical area of the development and analysis of efficient fixed-parameter algorithms for optimally solving computationally hard combinatorial problems.The book is divided into three parts: a broad introduction that provides the general philosophy and motivation;... more...

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

    Cambridge University Press 2002; US$ 28.00

    Now in its fourth edition, this book on logic has been enhanced and rewritten. 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...

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

  • Math Proofs Demystifiedby Stan Gibilisco

    McGraw-Hill Education 2005; US$ 22.00

    Almost every student has to study some sort of mathematical proofs, whether it be in geometry, trigonometry, or with higher-level topics. In addition, mathematical theorems have become an interesting course for many students outside of the mathematical arena, purely for the reasoning and logic that is needed to complete them. Therefore, it is not... more...

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

    Cambridge University Press 2008; US$ 65.00

    This book, first published in 2008, gives an account of combinatory logic and lambda-calculus models. more...

  • Applied Proof Theoryby Ulrich Kohlenbach

    Springer 2008; US$ 99.00

    This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. It covers both the necessary logical machinery behind the proof interpretations that are used in recent applications as well as - via extended case studies - carrying out some of these... more...