网站首页 汉语 德语 英语
The branch of mathematics concerned with the syntactic (as opposed to semantic) properties of formulae and proofs in formal systems.
1920s.
雅致网英汉双解词典包含236457条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。