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