数理逻辑

Posted on:November 12, 2020 at 10:43 AM

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