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

  • Genetic Algorithms and Genetic Programmingby Michael Affenzeller; Stefan Wagner; Stephan Winkler; Andreas Beham

    CRC Press 2009; US$ 99.95

    Genetic Algorithms and Genetic Programming: Modern Concepts and Practical Applications discusses algorithmic developments in the context of genetic algorithms (GAs) and genetic programming (GP). It applies the algorithms to significant combinatorial optimization problems and describes structure identification using HeuristicLab as a platform for... 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...

  • Frege's Notationsby Gregory Landini; Michael Beaney

    Palgrave Macmillan 2012; US$ 95.00

    A new approach to reading Frege's notations that adheres to the modern view that terms and well-formed formulas are any disjoint syntactic categories. On this new approach, we can at last read Frege's notations in their original form revealing striking new solutions to many of the outstanding problems of interpreting his philosophy. more...

  • Bounded Arithmetic, Propositional Logic and Complexity Theoryby Jan Krajicek

    Cambridge University Press 1995; US$ 152.00 US$ 124.64

    Discusses the deep connections between logic and complexity theory, and lists a number of intriguing open problems. more...

  • Linear Logic in Computer Scienceby Thomas Ehrhard; Jean-Yves Girard; Paul Ruet; Philip Scott

    Cambridge University Press 2004; US$ 116.00 US$ 95.12

    This book illustrates linear logic in the application of proof theory to computer science. more...

  • Mutual Impact of Computing Power and Control Theoryby M. Kárny; K. Warwick

    Springer US 2012; US$ 101.08

    Recent rapid developments in computing power, such as parallel processing and neural networks, have stimulated new trends in control. However a discrepancy exists between available computing power and exploitable algorithms obtained classically from control theory. The aim of this book is to address the discrepancy from both the com­ putational power... more...

  • Le?niewski's Systems of Logic and Foundations of Mathematicsby Rafal Urbaniak

    Springer International Publishing 2013; US$ 101.08

    Offering an expansive critical commentary, this meticulous assessment of the ground-breaking work of the philosopher Stanislaw Le?niewski focuses exclusively on primary texts and explores the full range of work by a master logician of the Lvov-Warsaw school. more...