Logic. The study of the structure and formal properties of logical theories and systems.
Mid 19th century (in an earlier sense). From meta- + logic.
英汉双解词典包含464360条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。