Словарь по логике

Математическая логика: Первоначально - логика, использующая условные значки для записи анализируемых выражений и строящая логический вывод как процесс манипулирования такими знаковыми выражениями по некоторым заранее заданным правилам, т.е. представляющая логические теории в виде некоторых "математических" исчислений. В настоящее время в этом смысле употребляется обычно выражение "символическая логика" (см.).
В настоящее время, в силу разделения логики между различными научными дисциплинами и факультетами университетов (по крайней мере, между философами, математиками и программистами) термин "математическая логика" обозначает символическую логику как математическую дисциплину, т.е. когда ей занимаются математики и применительно к материалу и нуждам математики, в противоположность философской логике и компьютерной логике.
Термин “математическая логика”, видимо, введен С. Маймоном (см.).