Search Results - "constructive mathematics"

Refine Results
  1. 1

    Paul Lorenzen -- Mathematician and Logician

    Published 2021
    Subjects: “…Lorenzen on Constructive Mathematics…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  2. 2

    Paul Lorenzen -- Mathematician and Logician

    Published 2021
    Subjects: “…Lorenzen on Constructive Mathematics…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  3. 3

    Paul Lorenzen -- Mathematician and Logician

    Published 2021
    Table of Contents: “…Some contributions of Lorenzen to constructive mathematics and an application to constructive measure theory (Thierry Coquand) -- Chapter 4. …”
    Link to Metadata
    Electronic eBook
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15
  16. 16
  17. 17
  18. 18
  19. 19
  20. 20