(исследование мышления с помощью исчислений и формализованных языков) mathematical logic
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Русско-английский перевод МАТЕМАТИЧЕСКАЯ ЛОГИКА
Воскобойников Б.С., Митрович В.Л.. Русско-Английский словарь по машиностроению и автоматизации производства. Russian-English dictionary of mechanical engineering and manufacturing automation. 2003