# The Leading eBooks Store Online

## 3,794,961 members ⚫ 1,236,034 ebooks

Most popular at the top

#### Mathematical Analysis and Proof

Elsevier Science 2009; US$ 72.95This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof. Beginning with the idea of mathematical proof and the need for it, associated technical and logical skills are developed with care and then brought to bear on the core material of analysis in such a lucid... more...

#### Sparse Grids and Applications - Munich 2012

Springer International Publishing 2014; US$ 137.40Sparse grids have gained increasing interest in recent years for the numerical treatment of high-dimensional problems. Whereas classical numerical discretization schemes fail in more than three or four dimensions, sparse grids make it possible to overcome the ?curse? of dimensionality to some degree, extending the number of dimensions that can be... more...

#### Algorithms and Complexity

World Scientific Publishing Company 1990; US$ 71.00 US$ 64.61This proceedings contains contributions on topics such as the models of computation, analysis and design of sequential and parallel algorithms, data structures and their applications, approximating algorithms and probabilistic analysis, and computational complexity. Contents: Analysis and Implementation of Parallel Uniform Hashing (F Luccio et al);... more...

#### Logic for Concurrency and Synchronisation

Springer Netherlands 2006; US$ 147.97The study of information-based actions and processes has been a vibrant - terface between logic and computer science for several decades now. Indeed, several natural perspectives come together here. On the one hand, logical s- tems may be used to describe the dynamics of arbitrary computational p- cesses ? as in the many sophisticated process logics... more...

#### Proof, Logic and Formalization

Taylor and Francis 2005; US$ 54.95The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical propositions. The existence of other forms, some of very significant strength, places a question mark over the prominence given to proof within mathematics. This collection of essays, by leading figures... more...

#### Tracking Reason

Oxford University Press 2005; US$ 27.99When ordinary people--mathematicians among them--take something to follow (deductively) from something else, they are exposing the backbone of our self-ascribed ability to reason. Jody Azzouni investigates the connection between that ordinary notion of consequence and the formal analogues invented by logicians. One claim of the book is that, despite... more...

#### Lectures on the Curry-Howard Isomorphism

Elsevier Science 2006; US$ 170.00The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic... more...

#### Mathematical Thinking and Writing

Elsevier Science 2001; US$ 107.00The ability to construct proofs is one of the most challenging aspects of the world of mathematics. It is, essentially, the defining moment for those testing the waters in a mathematical career. Instead of being submerged to the point of drowning, readers of Mathematical Thinking and Writing are given guidance and support while learning the language... more...

#### Handbook of Computability Theory

Elsevier Science 1999; US$ 200.00The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind... more...

#### Handbook of Proof Theory

Elsevier Science 1998; US$ 235.00This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics... more...