Ключевая фраза: исчисление высказываний

Ниже приведен список материалов, найденных в базе данных SCI.RU, с ключевым словом «исчисление высказываний».