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