A course in constructive algebra
Book
Domain Context
Foundations and Logic
Citation
Mines, Raymond and Richman, Fred and Ruitenburg, Wim. (1988). A course in constructive algebra. Springer-Verlag.
Why this reference is included
Mines et al.’s A course in constructive algebra (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.