Большой англо-русский и русско-английский словарь
лог. пропозициональное исчисление, исчисление высказываний
Англо-русский словарь технических терминов
исчисление высказываний
propositional calculus в энциклопедиях
лог. пропозициональное исчисление, исчисление высказываний
исчисление высказываний