"mathematics"@en . "Mathematik"@de . "set theory"@en . "Mengenlehre"@de . "propositional logic"@en . "Aussagenlogik"@de . "proof theory"@en . "Beweistheorie"@de . . . "mathematical logic"@en . "Mathematische Logik"@de . "symbolic logic"@en . "Symbolische Logik"@de . . . . . .