TY  - BOOK
AU  - Heinzmann, Gerhard||Wolters, Gereon
TI  - Paul Lorenzen -- Mathematician and Logician
KW  - Lorenzen on Constructive Mathematics||Application to Constructive Measure Theory||Lorenzeṇ’s Work on Lattice-groups and Divisibility Theory||Krull’s Fundamentalsatz for Integral Domains||Modern Set Theory and Lorenzen’s Critique of Actual Infinity||Grundlagenforschung||Lorenzen’s Consistency Proof and Hilbert’s Larger Programme||Lorenzen's Dialogue Game||Game Semantics for Substructural Logics||Constructive Examination of a Russell-style Ramified Type Theory||Operative Justification of Logic and Mathematics||Lorenzen on Proof-theoretic Semantics||Lorenzen on Databank Management||Lorenzen on Stochastics||Russell-style Ramified Type Theory||Lorenzen and Erlangen School of Methodical Constructivism
UR  - https://library.oapen.org/bitstream/20.500.12657/50703/1/978-3-030-65824-3.pdf
ER  -