«sentential calculus»

Большой англо-русский и русско-английский словарь Англо-русский словарь технических терминов