Matematička ili moderna logika je grana matematike i logike koja se bavi prikazom tradicionalne logike simbolima (pa se još naziva i simboličkom logikom), pri čemu je sve potpuno definirano te nema mogućnosti različitog shvaćanja kao što je to često u tradicionalnoj logici. Matematička je logika osnova modernih računala - na njoj se temelji cijeli logički dio procesora (CPU).

Vuković, Mladen. Matematička logika. Element, 2009.

Skansi, S. (2011). Mladen Vuković, Matematička logika. Prolegomena: Časopis za filozofiju, 10(1), 138-141.

Vuković, M. Matematička logika i izračunljivost.