# The Leading eBooks Store Online

## 3,935,953 members ⚫ 1,292,914 ebooks

Most popular at the top

#### Varieties of Constructive Mathematics

Cambridge University Press 1987; US$ 52.00This is an introduction to, and survey of, the constructive approaches to pure mathematics. more...

#### Essays in Constructive Mathematics

Springer New York 2007; US$ 103.15This book aims to promote constructive mathematics not by defining it or formalizing it but by practicing it. This means that its definitions and proofs use finite algorithms, not `algorithms' that require surveying an infinite number of possibilities to determine whether a given condition is met. The topics covered derive from classic works of... more...

#### Constructive Negations and Paraconsistency

Springer Netherlands 2008; US$ 171.93This book presents the author's recent investigations of the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity (L.E.J. Brouwer) and the strong negation (D. Nelson) are studied in the setting of paraconsistent logic.The paraconsistent logics are those, which admit inconsistent but non-trivial... more...

#### Bounded Arithmetic, Propositional Logic and Complexity Theory

Cambridge University Press 1995; US$ 152.00Discusses the deep connections between logic and complexity theory, and lists a number of intriguing open problems. 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... more...

#### Apartness and Uniformity

Springer Berlin Heidelberg 2011; US$ 126.08This book presents a theory of apartness encompassing both point-set topology and the theory of uniform spaces. The first book on the apartness approach to constructive topology, it is a valuable addition to the literature on topology in computer science. more...

- 1
- Page