רוסית ⇄ גרמנית

двойственная теорема в логике предикатов מתח
.מָתֵי	prädikatenlogisches Dualitätstheorem