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, zbMath Online, Zbl 1490.03001 (2022).
Download (ext.)
Book Review
| German
Author
Publishing Year
Journal Title
zbMath Online, 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. zbMath Online, 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 zbMath Online, 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={zbMath Online, 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.” zbMath Online, 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.,” zbMath Online, 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.” zbMath Online, Zbl 1490.03001, Zbl. 07465326, 2022.
All files available under the following license(s):
Copyright Statement:
This Item is protected by copyright and/or related rights. [...]
Link(s) to Main File(s)
Access Level
Closed Access
Google Scholar