Akademik

positiver Aussagenkalkül

положительное исчисление высказываний

Немецко-русский математический словарь. 2013.