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