TY - BOOK TI - Paul Lorenzen -- mathematician and logician SN - 978-3-03-065823-6 U1 - 510.1 P2811 2021 PB - Springer Nature KW - Constructivism (Philosophy) N1 - E-books ER -