Constructive mathematics

6 titles from

New Releases


Ebook Format


Varieties of Constructive Mathematics

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

Bounded Arithmetic, Propositional Logic and Complexity Theory

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

Constructivism in Mathematics, Vol 2

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

Apartness and Uniformity: A Constructive Development

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

Essays in Constructive Mathematics

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

Constructive Negations and Paraconsistency

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