The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...
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
- Cambridge University Press 1997; US$ 55.00
This text considers classical and modern problems in linear and non-linear water-wave theory. more...
- Wiley 2011; US$ 126.00
A comprehensive and user-friendly guide to the use of logic in mathematical reasoning Mathematical Logic presents a comprehensive introduction to formal methods of logic and their use as a reliable tool for deductive reasoning. With its user-friendly approach, this book successfully equips readers with the key concepts and methods for formulating... more...
- Wiley 2011; US$ 177.00
A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, computer science, and logic Logic of Mathematics combines a full-scale introductory course in mathematical logic and model theory with a range of specially selected, more advanced theorems. Using a strict... more...
- Clarendon Press 2004; US$ 174.99
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope... more...
- Oxford University Press 2008; US$ 54.99
A dynamical system is called isochronous if it features in its phase space an open, fully-dimensional region where all its solutions are periodic in all its degrees of freedom with the same, fixed period. Recently a simple transformation has been introduced, applicable to quite a large class of dynamical systems, that yields autonomous systems which... more...
- Springer 2011; US$ 159.00
This is a continuation of Vol. 7 of Trends in Logic. It wil cover the wealth of recent developments of Lukasiewicz Logic and their algebras (Chang MV-algebras), with particular reference to (de Finetti) coherent evaluation of continuously valued events, (Renyi) conditionals for such events, related algorithms. more...
- Springer 2011; US$ 229.00
Thermomechanics and Infra-Red Imaging represents one of eight volumes of technical papers presented at the Society for Experimental Mechanics Annual Conference on Experimental and Applied Mechanics, held at Uncasville, Connecticut, June 13-16, 2011. The full set of proceedings also includes volumes on Dynamic Behavior of Materials, Mechanics of Biological... more...
- Princeton University Press 2011; US$ 27.95
How does mathematics enable us to send pictures from space back to Earth? Where does the bell-shaped curve come from? Why do you need only 23 people in a room for a 50/50 chance of two of them sharing the same birthday? In Strange Curves, Counting Rabbits, and Other Mathematical Explorations , Keith Ball highlights how ideas, mostly from pure math,... more...
- F+W Media 2011; US$ 14.95
Ever wish you'd paid more attention in math class? From third grade to senior year of high school, it went in one ear and out the other, didn't it? But now you're staring at the new washer and dryer, trying to figure out the percentage of sales tax on the purchase price. You multiply something by something, right? Or you're scratching your head, wondering... more...
- Princeton University Press 2011; US$ 120.00
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...