Constructive mathematics

6 titles from eBooks.com

New Releases

Language

Ebook Format

DRM

Varieties of Constructive Mathematics
US$54.00

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

Bounded Arithmetic, Propositional Logic and Complexity Theory
US$157.00

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

Constructivism in Mathematics, Vol 2
US$72.95

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

Apartness and Uniformity: A Constructive Development
US$113.05

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

Essays in Constructive Mathematics
US$98.36

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

Constructive Negations and Paraconsistency
US$146.97

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