What does Aussagenkalkül mean?

Aussagenkalkül - German to English

propositional calculus