On constructive mathematics (including intuitionistic logic and the BHK interpretation, etc.):

- Anne Sjerp Troelstra, Dirk van Dalen,
*Constructivism in Mathematics – An introduction*, Vol 1, Studies in Logic and the Foundations of Mathematics**121**, North Holland (1988) [ISBN:9780444702661]

category: people

Created on February 22, 2023 at 08:47:23. See the history of this page for a list of all contributions to it.