Mathematical Logic封面

原著 · 第 2 版

Mathematical Logic

H.-D. Ebbinghaus, J. Flum, W. Thomas

出版社
Springer-Verlag
出版年份
1994
ISBN
978-0-387-94258-2
数学分类
证明论与形式系统

译本

中文译本

尚无公开中文译本。

讲义

使用本书的讲义

暂无引用本书的讲义。