Paul Lorenzen -- Mathematician and Logician (Record no. 19679)

MARC details
000 -LEADER
fixed length control field 01123nam a2200121Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 220616s9999||||xx |||||||||||||| ||und||
245 #0 - TITLE STATEMENT
Title Paul Lorenzen -- Mathematician and Logician
546 ## - LANGUAGE NOTE
Language note English[eng]
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element 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
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Heinzmann, Gerhard||Wolters, Gereon
856 ## - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://library.oapen.org/bitstream/20.500.12657/50703/1/978-3-030-65824-3.pdf">https://library.oapen.org/bitstream/20.500.12657/50703/1/978-3-030-65824-3.pdf</a>
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type E-Books
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
        Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre 16/06/2022   16/06/2022 16/06/2022 E-Books