Constructive mathematics

6 titles from eBooks.com
US$48.50

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

US$141.50

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

US$72.95

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

US$129.00

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

US$109.00

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

US$169.00

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