Поиск в словарях
Symbolical logic
[математика]
символическая логика