数理論理学:Mathematical logic Formal Languages and Mathematical Logics Overview of formal linguistics and semantics as a basis for programming languages and natural language processing 2021.03.18 数理論理学:Mathematical logic
