The Leading eBooks Store Online

3,687,217 members ⚫ 1,190,073 ebooks

New to

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$ 62.00 US$ 50.84

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

  • Around and Beyond the Square of Oppositionby Jean-Yves Beziau; Dale Jacquette

    Springer Basel 2012; US$ 57.69

    This book collects previously unpublished papers exploring the theory of oppositions based on Aristotelian foundations of logic, reflecting renewed interest and challenging re-interpretations which extend the original theory in breadth and depth. more...

  • Mathematischer Einführungskurs für die Physikby Siegfried Großmann

    Vieweg+Teubner Verlag 2012; US$ 21.03

    Studierende, die ein Physikstudium aufnehmen, brauchen zu Beginn vor allem eines: mathematische Grundkenntnisse. Da es sich hierbei zunächst um einen relativ beschränkten und charakteristischen Ausschnitt aus der Mathematik handelt, werden die benötigten Kompetenzen vor allem im Rahmen von Tutorien oder Arbeitsgruppen vermittelt. Dieser Einführungskurs... 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...