Akademik
Relativkalkül
(
m
)
(
уст.
)
исчисление предикатов
Немецко-русский математический словарь
.
2013
.