@misc{32458,
  author       = {{Peckhaus, Volker}},
  booktitle    = {{zbMath Online, Zbl 1490.03001}},
  title        = {{{Coquand, Thierry, “Lorenzen and Constructive Mathematics”, in: Gerhard Heinzmann et al. (eds.), Paul Lorenzen – Mathematician and Logician, Springer: Cham 2021 (Logic, Epistemology, and the Unity of Science; 51), 48–61.}}},
  year         = {{2022}},
}