Suggested Topics within your search.
Showing 1 - 3 results of 3 for search '"constructive mathematics"', query time: 0.04s Refine Results
  1. 1
    Paul Lorenzen -- Mathematician and Logician

    Paul Lorenzen -- Mathematician and Logician

    Published 2021
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  2. 2
    Paul Lorenzen -- Mathematician and Logician

    Paul Lorenzen -- Mathematician and Logician

    Published 2021
    Subjects:
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  3. 3
    Paul Lorenzen -- Mathematician and Logician

    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
    Save to List
    Saved in:

Search Tools: