Mathematical Logic 封面

收录 1 份译本 · 0 份讲义

原著 · 第 1 版

Mathematical Logic

H. D. Ebbinghaus, J. Flum, Wolfgang Thomas

登录后纠正信息
出版社
Springer International Publishing AG
出版年份
2021
ISBN
978-3-030-73838-9
数学分类
证明论与形式系统

中文译本

数理逻辑 译者：thsd · 维护：thsd 74PDF 下载

关联讲义

暂无关联讲义。

本书涉及的术语

暂无关联到本书的术语。