Symbolische Logik und Grundlegung der Exakten Wissenschaften - Beth, Evert Willem 1908-1964 (A. Francke AG-Verlag, 1948)