منطق ریاضی و نظریه محاسبات