6 titles from eBooks.com

This is an introduction to, and survey of, the constructive approaches to pure mathematics.

This is an introduction to, and survey of, the constructive approaches to pure mathematics.

Cambridge University Press (1995)

CA$128.17

Discusses the deep connections between logic and complexity theory, and lists a number of intriguing open problems.

Discusses the deep connections between logic and complexity theory, and lists a number of intriguing...

Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An...

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

This book presents a theory of apartness encompassing both point-set topology and the theory of...

Springer New York (2007)

CA$126.77

He [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...

He [Kronecker] was, in fact, attempting to describe and to initiate a new branch of mathematics,...

Here is an account of recent investigations into the two main concepts of negation developed in the...