检索条件： Baaz, Matthias. ( 著者 )

检索结果共有2条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Kurt Godel and the foundations of mathematics: horizons of truth /
责任者 Baaz, Matthias

出版信息 Cambridge University Press, ,2014.

ISBN 978-0-521-76144-4 (hbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Baaz, Matthias.Kurt Godel and the foundations of mathematics: horizons of truth /.Cambridge University Press,,2014..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/471394
复制引文到剪贴板

Kurt Godel and the foundations of mathematics: horizons of truth /

Baaz, Matthias.Cambridge University Press,,2014..
2 图书 Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt G?del Colloquium, KGC 2003 : proceedings /
责任者 Kurt G?del Colloquium

出版信息

ISBN 2003059118

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Kurt G?del Colloquium.Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt G?del Colloquium, KGC 2003 : proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/215132
复制引文到剪贴板

Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt G?del Colloquium, KGC 2003 : proceedings /

Kurt G?del Colloquium.,.

通借成功!

预约成功!