Constructive mathematics

6 titles from eBooks.com

New Releases

Language

Ebook Format

DRM

Varieties of Constructive Mathematics
Cambridge University Press (1987)
CA$49.30

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

Bounded Arithmetic, Propositional Logic and Complexity Theory
Cambridge University Press (1995)
CA$128.17

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

Constructivism in Mathematics, Vol 2
Elsevier Science (2014)
CA$81.00

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

Apartness and Uniformity: A Constructive Development
Springer Berlin Heidelberg (2011)
CA$131.14

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

Essays in Constructive Mathematics
Springer New York (2007)
CA$126.77

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

Constructive Negations and Paraconsistency
Springer Netherlands (2008)
CA$189.44

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