数理逻辑

数理逻辑我是没有学过的,但是感觉很像编译原理的前端