The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, Sony Reader...
Most popular at the top
Essays on the Foundations of Mathematics by Moritz Pasch
Springer 2010; US$ 129.99Moritz Pasch (1843-1930) is justly celebrated as a key figure in the history of axiomatic geometry. Less well known are his contributions to other areas of foundational research. This volume features English translations of 14 papers Pasch published in the decade 1917-1926. In them, Pasch argues that geometry and, more surprisingly, number theory are... more...
Metamathematics, Machines and Gödel's Proof
Cambridge University Press 1994; US$ 45.00Describes the use of computer programs to check several proofs in the foundations of mathematics. more...
Analytical Dynamics
Cambridge University Press 1996; US$ 47.00A fresh approach to analytical dynamics. Eminently readable, it is written as an introduction, with an emphasis on fundamental concepts in mechanics. more...
Updating Logical Databases
Cambridge University Press 1990; US$ 41.00The book will be of value to all involved in database research. more...
Chaotic Behaviour of Deterministic Dissipative Systems
Cambridge University Press 1991; US$ 49.00This graduate text surveys both the theoretical and experimental aspects of deterministic chaotic behaviour. more...
Nets, Terms and Formulas
Cambridge University Press 1991; US$ 49.00The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. more...
Belief Revision
Cambridge University Press 1992; US$ 58.00This book contains a collection of research articles on belief revision that are right up to date and an introductory chapter that presents a survey of current research in the area and the fundamentals of the theory. more...
Programs, Recursion and Unbounded Choice
Cambridge University Press 1992; US$ 45.00A complete account of the predicate transformation calculus semantics of sequential programs. more...
The Logic of Typed Feature Structures
Cambridge University Press 1992; US$ 49.00This book develops the theory of typed feature structures and provides a logical foundation for logic programming and constraint-based reasoning systems. more...
Logic Programming
Cambridge University Press 1992; US$ 39.00A homogeneous treatment of the semantics of both theoretical and practical logic programming languages. more...









