数理逻辑（英语：Mathematical logic）是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。

2023第五届计算机，通信与控制国际会议（ICCCC2023）涵盖主题包括但不仅限于数理逻辑等领域，会议组委会诚邀全球相关领域的学者、专家参加此次国际会议，就相关热点问题进行探讨、交流，共同促进科学研究的进步与发展。

2023第五届计算机，通信与控制国际会议（ICCCC2023）诚邀学者、专家提交他们的研究摘要、论文并参会交流。

ICCCC2023 的摘要与全文投稿通道已开放，欢迎您提交摘要和全文：