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
- Springer New York 2006; US$ 89.99
This book collects some of the most interesting recent writings tackling the problem of giving an account of the nature, purpose, and justification of mathematics as actually done by real live mathematicians. What is the nature of the objects being studied? What determines the directions and styles in which mathematics progresses (or, perhaps, degenerates)?... more...
- Vittorio Klostermann 2009; US$ 89.95
Die Frage, welches der vielen divergierenden modernen Logiksysteme ?die eine, richtige" Logik enthält, wird von Logikern gerne zurückgewiesen: eine solche Logik gebe es nicht. In Michael Wolffs Buch wird diese Frage anders behandelt, nämlich durch Anwendung der Methode der logisch-semantischen Sprachanalyse auf die Sprachen der Logik selbst. Diese... more...
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 2006; US$ 109.00
This book takes a lambda calculus approach to organizing computations. It sets out with a brief introduction to lambda calculus, describes a variant of the classical SECD-machine as a basic interpreter for the lambda calculus, and in the main part continues with fully normalizing abstract lambda calculus machines. more...
- CRC Press 2010; US$ 104.95
Access Control, Security, Trust, and Logic Deconstructing Access Control Decisions A Logical Approach to Access Control PRELIMINARIES A Language for Access Control Sets and Relations Syntax Semantics Reasoning about Access Control Logical Rules Formal Proofs and Theorems Soundness of Logical Rules Basic Concepts Reference... more...
- Princeton University Press 2015; US$ 45.00
John Mather?s seminal works in Hamiltonian dynamics represent some of the most important contributions to our understanding of the complex balance between stable and unstable motions in classical mechanics. His novel approach?known as Aubry-Mather theory?singles out the existence of special orbits and invariant measures of the system, which possess... more...
- Springer 2007; US$ 169.00
Details developments in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. more...
- Springer New York 2010; US$ 179.00
- Celebrates the contributions which Melvyn B. Nathanson has made to additive number theory - This book provides a current look at the state-of-the-art in the field of additive number theory - Volume contains contributions to various areas of number theory by top researchers in the field more...
- Elsevier Science 1997; US$ 195.00
The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: ? admissible or permissible inference rules ? the derivability of the admissible inference rules ? the structural completeness of logics ? the bases for admissible and valid inference rules.... more...