# The Leading eBooks Store Online

## 3,863,569 members ⚫ 1,270,059 ebooks

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

#### Apartness and Uniformity

Springer Berlin Heidelberg 2011; US$ 123.10This 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...

#### Essays in Constructive Mathematics

Springer New York 2007; US$ 100.72This 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...

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

#### Constructive Negations and Paraconsistency

Springer Netherlands 2008; US$ 167.87This 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...

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

- 1
- Page