Explore Books on
constructive mathematics

Investigating Mathematics Teaching

By Barbara Jaworski

The incompleteness phenomenon

By Martin Goldstern

Logical Foundations of Proof Complexity

By Stephen Cook

Essays in Constructive Mathematics

By Harold M. Edwards

Fine Structure and Iteration Trees

By William J. Mitchell,John R. Steel

Studies in constructive mathematics and mathematical logic

By A. O. Slisenko

Predicative Arithmetic. (MN-32)

By Edward Nelson

From sets and types to topology and analysis

By Peter Schuster

Constructibility and mathematical existence

By Charles S. Chihara

Foundational Theories of Classical and Constructive Mathematics

By Giovanni Sommaruga

Problems in the constructive trend in mathematics

By V. P. Orevkov

Constructive models

By I͡Uriĭ Leonidovich Ershov,Yuri L. Ershov,Sergei S. Goncharov

Constructive Mathematics

By F. Richman

Foundations of algorithms

By Richard E. Neapolitan

Foundations of algorithms using C++ pseudocode

By Richard E. Neapolitan

Foundations of Constructive Probability Theory

By Yuen-Kwok Chan

Foundations of algorithms

By Richard E. Neapolitan

Radical Constructivism in Mathematics Education

By E. Glasersfeld

Intensional mathematics

By Stewart Shapiro

Foundations of Algorithms

By Richard Neapolitan

A structural account of mathematics

By Charles S. Chihara

Constructivism in mathematics

By A. S. Troelstra

Stochastic automata; constructive theory

By Aĭvar Arvidovich Lorent͡s

Constructive functional analysis

By D. S. Bridges