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

  • Understanding Mathematical Proofby John Taylor; Rowan Garnier

    CRC Press 2014; US$ 59.95

    The notion of proof is central to mathematics yet it is one of the most difficult aspects of the subject to teach and master. In particular, undergraduate mathematics students often experience difficulties in understanding and constructing proofs. Understanding Mathematical Proof describes the nature of mathematical proof, explores the various... more...

  • Mathematical Analysis and Proofby D Stirling

    Elsevier Science 2009; US$ 72.95

    This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof. Beginning with the idea of mathematical proof and the need for it, associated technical and logical skills are developed with care and then brought to bear on the core material of analysis in such a lucid... more...

  • Die Berechnung der Weltby Klaus Mainzer

    C.H. Beck 2014; US$ 18.51

    Klaus Mainzer zeigt in diesem Buch, wie es bei dem Vorhaben, die Welt zu berechnen, zu einer Revolution der Denkart kam. Während Generationen von Mathematikern, Physikern und Philosophen auf der Suche nach der Weltformel mit Gleichungen arbeiteten und in den Kategorien von Ursache und Wirkung dachten, ist die «new science» dadurch charakterisiert,... more...

  • Sparse Grids and Applications - Munich 2012by

    Springer International Publishing 2014; US$ 169.00

    Sparse grids have gained increasing interest in recent years for the numerical treatment of high-dimensional problems. Whereas classical numerical discretization schemes fail in more than three or four dimensions, sparse grids make it possible to overcome the ?curse? of dimensionality to some degree, extending the number of dimensions that can be... more...

  • Algorithms and Complexityby Giorgio Ausiello; Daniel P. Bovet; Rosella Petreschi

    World Scientific Publishing Company 1990; US$ 116.00

    This proceedings contains contributions on topics such as the models of computation, analysis and design of sequential and parallel algorithms, data structures and their applications, approximating algorithms and probabilistic analysis, and computational complexity. Contents: Analysis and Implementation of Parallel Uniform Hashing (F Luccio et al);... more...

  • Constructivism in Mathematics Vol.2by A.S. Troelstra; D. van Dalen

    Elsevier Science 2014; US$ 72.95

    Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras. The publication first takes a look at the topology of metric spaces, algebra, and finite-type arithmetic and theories... more...

  • Computability Theoryby Herbert B. Enderton

    Elsevier Science 2011; US$ 9.99

    Computability Theory:  An Introduction to Recursion Theory,  provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized... more...

  • Optimizationby Rajesh Kumar Arora

    CRC Press 2015; US$ 129.95

    Choose the Correct Solution Method for Your Optimization Problem Optimization: Algorithms and Applications presents a variety of solution techniques for optimization problems, emphasizing concepts rather than rigorous mathematical details and proofs. The book covers both gradient and stochastic methods as solution techniques for unconstrained... more...

  • Logic for Concurrency and Synchronisationby Ruy J.G.B. de Queiroz (Universidade Federal de Pernambuco Recife

    Springer 2003; US$ 115.00

    This text shows the state of the art in contemporary investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. more...

  • Proof, Logic and Formalizationby Michael Detlefsen

    Taylor and Francis 2005; US$ 155.00

    The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical propositions. The existence of other forms, some of very significant strength, places a question mark over the prominence given to proof within mathematics. This collection of essays, by leading figures... more...