000			01123nam a2200121Ia 4500
008			220616s9999||||xx |||||||||||||| ||und||
245		0	_aPaul Lorenzen -- Mathematician and Logician
546			_aEnglish[eng]
650			_aLorenzen 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
700			_aHeinzmann, Gerhard||Wolters, Gereon
856			_uhttps://library.oapen.org/bitstream/20.500.12657/50703/1/978-3-030-65824-3.pdf
942			_cEB
999			_c19679 _d19679