Paul Lorenzen---Mathematician and Logicianby Gerhard Heinzmann, Gereon WoltersWriting a summary for young readers…For young readersBook data: Open Library