Constructive mathematics

6 titles from eBooks.com

New Releases

Language

Ebook Format

DRM

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
£52.79

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

Apartness and Uniformity: A Constructive Development
£109.50

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

Essays in Constructive Mathematics
£89.50

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

Constructive Negations and Paraconsistency
£129.50

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