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

  • Theory of Computationby George Tourlakis

    Wiley 2014; US$ 124.00

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

  • Apartness and Uniformityby D. S. Bridges; Luminita Simona Vîta

    Springer 2011; US$ 129.00

    This book presents a theory of apartness encompassing both point-set topology and the theory of uniform spaces. The first book on the apartness approach to constructive topology, it is a valuable addition to the literature on topology in computer science. more...

  • Computable Modelsby Raymond Turner

    Springer 2009; US$ 109.00

    Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specification and design of specification languages, Raymond Turner uses this framework to introduce and study computable models. In doing so he presents the first systematic attempt to provide computational models... more...

  • Complexity Theoryby Ingo Wegener; R. Pruim

    Springer 2005; US$ 89.95

    Reflects recent developments in its emphasis on randomized and approximation algorithms and communication models All topics are considered from an algorithmic point of view stressing the implications for algorithm design more...

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

    Springer 2012; US$ 29.95

    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$ 142.00

    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$ 109.00

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

  • Die berechnete Welt (TELEPOLIS)by Nora S. Stampfl

    dpunkt.verlag 2013; US$ 12.62

    Auf dem Weg in die digitale Zukunft stehen wir heute an einer entscheidenden Weggabelung: Obwohl die Errungenschaften der digitalen Revolution natürliche Verbündete der Freiheit sind, stehen in jüngster Zeit Informatisierung und Technisierung unserer Welt dem ursprünglich verfolgten Freiheits- und Demokratisierungsgedanken immer häufiger entgegen.... more...

  • Lesniewski's Systems of Logic and Foundations of Mathematicsby Rafal Urbaniak

    Springer 2013; US$ 129.00

    This meticulous critical assessment of the ground-breaking work of philosopher Stanislaw  Lesniewski focuses exclusively on primary texts and explores the full range of output by one of the master logicians of the Lvov-Warsaw school. The authorâ??s nuanced survey eschews secondary commentary, analyzing Lesniewski's core philosophical views and evaluating... more...