meaning of Aussagenkalkül

Aussagenkalkül - German to English

propositional calculus