@misc{indiciae5a96c9901be6,
  title = {Algebra in Bishop's style: some major features of the book "A Course in Constructive Algebra'' by Mines, Richman, and Ruitenburg},
  author = {Henri Lombardi},
  year = {2019},
  url = {https://arxiv.org/abs/1903.04200},
  note = {Source identifier: 1903.04200}
}