Terms for subject Mathematics containing logic

English	German
assertion-level logic	Aussagenlogik (ssn)
mathematical logic	Algebra der Logik
mathematical logic	Logikkalkuel
mathematical logic	theoretische Logik
proposition logic	Aussagenlogik (ssn)
quantificational logic	Prädikatenlogik (ssn)