Hrvatska enciklopedija (2013–)
matematička logika, grana matematike koja se bavi temeljima matematike, prirodom matematičkih dokaza ...

Hrvatski opći leksikon (2012)
matematička logika, grana matematike nastala razvojem formalne logike uz primjenu sustava simbola. ...

Tehnički leksikon (2007)
logika, matematička, simbolička logika (engl. mathematical logic; njem. mathematische Logik; rus. ...

Hrvatski obiteljski leksikon (2005)
matematička logika, dio matematike nastao razvojem formalne logike uz konzekventnu primjenu sustava simbola ...