"Boolean algebra"@en . "Boolesche Algebra"@de . "mathematical logic"@en . "Mathematische Logik"@de . . . "propositional logic"@en . "Aussagenlogik"@de . "propositional calculus"@en . "sentential calculus"@en . "sentential logic"@en . . .