The Leading eBooks Store Online
3,720,765 members ⚫ 1,207,593 ebooks
New to eBooks.com?Learn more
- Bestsellers - This Week
- Foreign Language Study
- Bestsellers - Last 6 months
- Graphic Books
- Health & Fitness
- Political Science
- Biography & Autobiography
- Psychology & Psychiatry
- Body Mind & Spirit
- House & Home
- Business & Economics
- Children's & Young Adult Fiction
- Juvenile Nonfiction
- Language Arts & Disciplines
- Crafts & Hobbies
- Science Fiction
- Current Events
- Literary Collections
- Literary Criticism
- Literary Fiction
- Social Science
- The Environment
- Sports & Recreation
- Family & Relationships
- Study Aids
- Folklore & Mythology
- Food and Wine
- Performing Arts
- True Crime
- Foreign Language Books
Most popular at the top
- 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...
- 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...
- 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...
- 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...
- 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...
- 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...
- 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...
- 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...
- 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...