On constructive mathematics (including intuitionistic logic and the BHK interpretation, etc.):
Anne Sjerp Troelstra, Dirk van Dalen: Constructivism in Mathematics – An introduction, Volume I, Studies in Logic and the Foundations of Mathematics 121, North Holland (1988) [ISBN:9780444702661]
Anne Sjerp Troelstra, Dirk van Dalen, Constructivism in Mathematics – An introduction, Volume II, Studies in Logic and the Foundations of Mathematics 123: North Holland (1988) [ISBN:9780444703583]
Last revised on October 1, 2024 at 17:56:24. See the history of this page for a list of all contributions to it.