---
_id: '32458'
article_number: Zbl. 07465326
author:
- first_name: Volker
  full_name: Peckhaus, Volker
  id: '391'
  last_name: Peckhaus
citation:
  ama: '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. <i>zbMath
    Online, Zbl 149003001</i>. Published online 2022.'
  apa: '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 <i>zbMath Online, Zbl 1490.03001</i> (Zbl. 07465326).'
  bibtex: '@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} }'
  chicago: '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.”
    <i>zbMath Online, Zbl 1490.03001</i>, 2022.'
  ieee: '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.,”
    <i>zbMath Online, Zbl 1490.03001</i>. 2022.'
  mla: '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.”
    <i>zbMath Online, Zbl 1490.03001</i>, Zbl. 07465326, 2022.'
  short: V. Peckhaus, zbMath Online, Zbl 1490.03001 (2022).
date_created: 2022-08-02T08:41:08Z
date_updated: 2024-06-12T16:37:44Z
department:
- _id: '520'
language:
- iso: ger
main_file_link:
- open_access: '1'
  url: https://zbmath.org/1490.03001
oa: '1'
publication: zbMath Online, Zbl 1490.03001
status: public
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.'
type: review
user_id: '391'
year: '2022'
...