troelstra1988-constructivism

A. S. Troelstra and D. van Dalen (1988). Constructivism in Mathematics. Amsterdam: North-Holland.

https://books.google.com/books/about/Constructivism_in_Mathematics_Vol_1.html?id=-tc2qp0-2bsC