The Leading eBooks Store Online

3,720,765 members ⚫ 1,207,593 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
Instruments and machines

Most popular at the top

  • Classical Mathematical Logicby Richard L. Epstein; Leslaw W. Szczerba

    Princeton University Press 2011; US$ 140.00 US$ 120.40

    In Classical Mathematical Logic , Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. The book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the formalization not only of arithmetic, but also of group theory, field... more...

  • THE FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTIONby Ruy J. G. B. de Queiroz; Dov M. Gabbay; Anjolina G. de Oliveira

    World Scientific Publishing Company 2011; US$ 88.00 US$ 76.56

    This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an ‘enriched’ system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows... more...

  • Ensemble Machine Learningby Cha Zhang; Yunqian Ma

    Springer New York 2012; US$ 170.49

    The primary goal of this book is to give readers a complete treatment of the state-of-the-art ensemble learning methods. It also provides a set of applications that demonstrate the various usages of ensemble learning methods in the real-world. more...

  • Die Gödel'schen Unvollständigkeitssätzeby Dirk W. Hoffmann

    Spektrum Akademischer Verlag 2012; US$ 15.22

    Im Jahr 1931 erschien im Monatsheft für Mathematik und Physik ein Artikel mit dem geheimnisvoll klingenden Titel Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I . In dieser Arbeit hat Kurt Gödel zwei Unvollständigkeitssätze bewiesen, die unseren Blick auf die Mathematik von Grund auf verändert haben. Gödels Sätze... more...

  • Carnap, Tarski, and Quine at Harvardby Greg Frost-Arnold

    Open Court 2013; US$ 49.99

    During the academic year 1940-1941, several giants of analytic philosophy congregated at Harvard: Bertrand Russell, Alfred Tarski, Rudlof Carnap, W. V. Quine, Carl Hempel, and Nelson Goodman were all in residence. This group held regular private meetings, with Carnap, Tarski, and Quine being the most frequent attendees. Carnap, Tarski, and Quine... more...

  • Lectures on Mechanicsby Jerrold E. Marsden

    Cambridge University Press 1992; US$ 64.00

    Based on the 1991 LMS Invited Lectures given by Professor Marsden, this book discusses and applies symmetry methods to such areas as bifurcations and chaos in mechanical systems. more...

  • Church's Thesis After 70 Yearsby Adam Olszewski; Jan Wolenski; Robert Janusz

    De Gruyter 2006; US$ 170.45

    Church's Thesis (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifies two notions: an intuitive notion of a effectively computable function defined in natural numbers with the notion of a recursive function. Despite of the many efforts of prominent scientists, Church's Thesis has never been falsified. There... more...

  • Raumflugmechanikby Wolfgang Steiner; Martin Schagerl

    Springer Berlin Heidelberg 2006; US$ 59.99

    In dem 1968 von Stanley Kubrick verfilmten Sciencefiction-Klassiker 2001: A Space Odyssey benotigt das Raumschiff Discovery ganze fiinf Monate, um von der Erde zum Planeten Jupiter zu gelangen. Eine erstaunlich kurze Zeit fiir die fiinf Mann Besatzung und den eigenwilligen Bordcomputer HAL. Die Wirklichkeit sieht jedoch anders aus. Die 1989 gestartete... more...

  • Nominalism and Constructivism in Seventeenth-Century Mathematical Philosophyby David Sepkoski

    Taylor and Francis 2013; US$ 54.95

    What was the basis for the adoption of mathematics as the primary mode of discourse for describing natural events by a large segment of the philosophical community in the seventeenth century? In answering this question, this book demonstrates that a significant group of philosophers shared the belief that there is no necessary correspondence between... more...

  • Iteration Theoriesby Stephen L. Bloom; Zoltan Esik

    Springer Berlin Heidelberg 2012; US$ 117.21

    This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended au­ dience consists of graduate students and research scientists interested in mathematical treatments of semantics. We assume the reader has a good mathematical background, although we provide some prelimi­ nary... more...