The Leading eBooks Store Online

3,667,858 members ⚫ 1,180,414 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
Combinatory logic

Most popular at the top

  • The Nuts and Bolts of Proofsby Antonella Cupillari

    Elsevier Science 2005; US$ 53.95

    The Nuts and Bolts of Proof instructs students on the basic logic of mathematical proofs, showing how and why proofs of mathematical statements work. It provides them with techniques they can use to gain an inside view of the subject, reach other results, remember results more easily, or rederive them if the results are forgotten.A flow chart graphically... more...

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

    Cambridge University Press 2007; US$ 28.00 US$ 22.96

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

  • The EM Algorithm and Extensionsby Geoffrey McLachlan; Thriyambakam Krishnan

    Wiley 2007; US$ 158.00 US$ 136.93

    The only single-source??now completely updated and revised??to offer a unified treatment of the theory, methodology, and applications of the EM algorithm Complete with updates that capture developments from the past decade, The EM Algorithm and Extensions, Second Edition successfully provides a basic understanding of the EM algorithm by describing... more...

  • How to Think About Algorithmsby Jeff Edmonds

    Cambridge University Press 2008; US$ 40.00 US$ 32.80

    Textbook that teaches students how to think about algorithms like an expert, without getting bogged down in formal proof. more...

  • Computability, Complexity, Logicby E. Börger

    Elsevier Science 1989; US$ 72.95

    The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely described questions and problems. The book is a unified introduction to the modern theory... more...

  • The Lambda Calculusby H.P. Barendregt

    Elsevier Science 2013; US$ 133.00

    The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications... more...

  • The Moment of Proofby Donald C. Benson

    Oxford University Press 2000; US$ 49.99 US$ 42.99

    When Archimedes, while bathing, suddenly hit upon the principle of buoyancy, he ran wildly through the streets of Syracuse, stark naked, crying "eureka!" In The Moment of Proof , Donald Benson attempts to convey to general readers the feeling of eureka--the joy of discovery--that mathematicians feel when they first encounter an elegant proof.This... more...

  • Logic and Computationby Lawrence C. Paulson

    Cambridge University Press 1990; US$ 60.00 US$ 49.20

    This book is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines the methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of program... more...

  • A Transition to Abstract Mathematicsby Randall Maddox

    Elsevier Science 2008; US$ 89.95

    Constructing concise and correct proofs is one of the most challenging aspects of learning to work with advanced mathematics. Meeting this challenge is a defining moment for those considering a career in mathematics or related fields. Mathematical Thinking and Writing teaches readers to construct proofs and communicate with the precision necessary... more...

  • Theory of Computationby George Tourlakis

    Wiley 2014; US$ 132.00 US$ 114.40

    Learn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible approach to the topic, Theory of Computation focuses on the metatheory of computing and the theoretical boundaries between what various computational models can do and not do?from the most general model, the URM (Unbounded... more...