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
- Vittorio Klostermann 2009; US$ 91.44
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...
- 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?singled 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...
- 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...
- World Scientific Publishing Company 2002; US$ 204.00
Advances in Modal Logic is a unique forum for presenting the latest results and new directions of research in modal logic. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics.Volume 3 presents substantial advances... more...
- Springer 2006; US$ 99.00
Reflects the multi-dimensional nature of the interplay between logic and science. This volume describes trends, possible developments for research and issues not normally raised in the standard agenda of the philosophy of logic and mathematics. It aims to transform rigid classical partitions into a more open field for improvisation. more...
- Princeton University Press 2014; US$ 49.50
The Final Volume of the Groundbreaking Trilogy on Agent-Based Modeling In this pioneering synthesis, Joshua Epstein introduces a new theoretical entity: Agent_Zero . This software individual, or "agent," is endowed with distinct emotional/affective, cognitive/deliberative, and social modules. Grounded in contemporary neuroscience, these internal... more...