# The Leading eBooks Store Online

## 4,070,182 members ⚫ 1,339,185 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$ 105.62He [Kronecker] was, in fact, attempting to describe and to initiate a new branch of mathematics, which would contain both number theory and alge braic geometry as special cases.—Andre Weil [62] This book is about mathematics, not the history or philosophy of mathemat ics. Still, history and philosophy were prominent among my motives for writing it,... more...

#### Constructive Negations and Paraconsistency

Springer Netherlands 2008; US$ 176.04Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic. 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$ 129.09This 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