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