检索条件： Dalen ( 著者 )

检索结果共有4条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Logic colloquium`80：papers intended for the European summer meeting of the association for symbolic logic
责任者 D. Van Dalen

出版信息 NHPC ,1982

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
D. Van Dalen.Logic colloquium`80：papers intended for the European summer meeting of the association for symbolic logic.NHPC,1982.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic colloquium`80：papers intended for the European summer meeting of the association for symbolic logic

D. Van Dalen.NHPC,1982.
2 图书 The L. E. J. Brouwer Centenary Symposium：proceedings
责任者 A. S. Troelstra,D. Van Dalen

出版信息 North-Holland ,1982

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
A. S. Troelstra,D. Van Dalen.The L. E. J. Brouwer Centenary Symposium：proceedings.North-Holland,1982.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

The L. E. J. Brouwer Centenary Symposium：proceedings

A. S. Troelstra,D. Van Dalen.North-Holland,1982.
3 图书 Logic and structure
责任者 D. Van Dalen

出版信息 Springer-Verlag ,1983

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
D. Van Dalen.Logic and structure.Springer-Verlag,1983.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic and structure

D. Van Dalen.Springer-Verlag,1983.
4 图书 Brouwer`s Cambridge lectures on intuitionism /
责任者

出版信息

ISBN 80041239

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Brouwer`s Cambridge lectures on intuitionism /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Brouwer`s Cambridge lectures on intuitionism /

.,.

通借成功!

预约成功!