# The Leading eBooks Store Online

## for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...

Most popular at the top

#### Ways of Proof Theory

De Gruyter 2010; US$ 210.00On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 ? 19, 2008. This event brought together proof theorists from many parts of the world who have been acting as teachers, students and... more...

#### Understanding Mathematical Proof

CRC Press 2014; US$ 59.95Introduction The need for proof The language of mathematics Reasoning Deductive reasoning and truth Example proofs Logic and Reasoning Introduction Propositions, connectives, and truth tables Logical equivalence and logical implication Predicates and quantification Logical reasoning Sets and Functions Introduction Sets... more...

#### 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...

#### Die Berechnung der Welt

C.H. Beck 2014; US$ 18.92Klaus Mainzer zeigt in diesem Buch, wie es bei dem Vorhaben, die Welt zu berechnen, zu einer Revolution der Denkart kam. Während Generationen von Mathematikern, Physikern und Philosophen auf der Suche nach der Weltformel mit Gleichungen arbeiteten und in den Kategorien von Ursache und Wirkung dachten, ist die «new science» dadurch charakterisiert,... more...

#### Sparse Grids and Applications - Munich 2012

Springer 2014; US$ 169.00Sparse 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 dealt... more...

#### Algorithms and Complexity

World Scientific Publishing Company 1990; US$ 116.00This 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...

#### Constructivism in Mathematics Vol.2

Elsevier Science 2014; US$ 72.95Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras. The publication first takes a look at the topology of metric spaces, algebra, and finite-type arithmetic and theories... more...

#### Math Proofs Demystified

McGraw-Hill Education 2005; US$ 22.00Almost every student has to study some sort of mathematical proofs, whether it be in geometry, trigonometry, or with higher-level topics. In addition, mathematical theorems have become an interesting course for many students outside of the mathematical arena, purely for the reasoning and logic that is needed to complete them. Therefore, it is not... more...

#### Logic for Concurrency and Synchronisation

Springer 2003; US$ 115.00This text shows the state of the art in contemporary investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. more...

#### Proof, Logic and Formalization

Taylor and Francis 2005; US$ 155.00The 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...