Полный русско-английский словарь
Sentential calculus
Исчисление высказываний
исчисление высказываний
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ