Constructivism in Mathematics: An Introduction
Book
Domain Context
Foundations and Logic
Citation
Troelstra, Anne Sjerp and van Dalen, Dirk. (1988). Constructivism in Mathematics: An Introduction. 1–2. North-Holland.
Why this reference is included
Troelstra and van Dalen’s Constructivism in Mathematics: An Introduction (1988) is part of the program’s reference corpus as standard domain context for Foundations and Logic. It is not directly cited in the currently published volumes of Panta Rhei, but is retained as part of the research shelf.
Corpus status
In the corpus only This reference is part of the research corpus but is not directly cited in the currently published volumes of Panta Rhei.