The branch of mathematics concerned with the syntactic (as opposed to semantic) properties of formulae and proofs in formal systems.
1920s.
英汉双解词典包含464360条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。