matemaatiline loogika, loogika haru, milles loogikaprobleemide käsitlus rajaneb formaliseeritud keeltel ja matemaatilistel uurimismeetoditel. Põhilised uurimisobjektid on aksiomaatilised teooriad. Lihtsaim osa lausearvutus.

VE, 2006