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.
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete Zbl 1490.03001 (2022).
Download
No fulltext has been uploaded.
Book Review
| German
Author
Publishing Year
Journal Title
Zentralblatt für Mathematik und ihre Grenzgebiete Zbl 1490.03001
Article Number
Zbl. 07465326
LibreCat-ID
Cite this
Peckhaus V. 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. Zentralblatt für Mathematik und ihre Grenzgebiete Zbl 149003001. Published online 2022.
Peckhaus, V. (2022). 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. In Zentralblatt für Mathematik und ihre Grenzgebiete Zbl 1490.03001 (Zbl. 07465326).
@article{Peckhaus_2022, 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.}, number={Zbl. 07465326}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete Zbl 1490.03001}, author={Peckhaus, Volker}, year={2022} }
Peckhaus, Volker. “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.” Zentralblatt für Mathematik und ihre Grenzgebiete Zbl 1490.03001, 2022.
V. Peckhaus, “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.,” Zentralblatt für Mathematik und ihre Grenzgebiete Zbl 1490.03001. 2022.
Peckhaus, Volker. “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.” Zentralblatt für Mathematik und ihre Grenzgebiete Zbl 1490.03001, Zbl. 07465326, 2022.
Google Scholar