Symbolische Logik und Grundlegung der exakten Wissenschaften - Beth, Evert Willem (Francke, 1948)