mathematical logic
/,mæθə'mætɪkəl_'lɑdʒɪk/