检索条件： Logic Colloquium ( 任意词 )

检索结果共有14条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Logic Colloquium (1982: Florence)：Logic Colloquium`82: proceedings
责任者 Logic Colloquium

出版信息 North-Holland ,1984

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Logic Colloquium.Logic Colloquium (1982: Florence)：Logic Colloquium`82: proceedings.North-Holland,1984.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic Colloquium (1982: Florence)：Logic Colloquium`82: proceedings

Logic Colloquium.North-Holland,1984.
2 图书 Logic Colloquium 2007 /
责任者 Delon, F.

出版信息 Cambridge University Press, ,2010.

ISBN 9780521760652 (hbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Delon, F..Logic Colloquium 2007 /.Cambridge University Press,,2010..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic Colloquium 2007 /

Delon, F..Cambridge University Press,,2010..
3 图书 Logic Colloquium 2006 /
责任者 Cooper, S. B.

出版信息 Cambridge University Press ; ,c2009.

ISBN 9780521110815 :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cooper, S. B..Logic Colloquium 2006 /.Cambridge University Press ;,c2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic Colloquium 2006 /

Cooper, S. B..Cambridge University Press ;,c2009..
4 图书 Logic Colloquium`87(1987 : Spain)
责任者 Logic Colloquium`87

出版信息 NHPC ,1989

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Logic Colloquium`87.Logic Colloquium`87(1987 : Spain).NHPC,1989.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic Colloquium`87(1987 : Spain)

Logic Colloquium`87.NHPC,1989.
5 图书 Logic Colloquium 2007 /
责任者 Delon, F.,Kohlenbach, U.,Maddy, Penelope,,Stephan, Frank

出版信息

ISBN 978-1-107-69677-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Delon, F.,Kohlenbach, U.,Maddy, Penelope,,Stephan, Frank.Logic Colloquium 2007 /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic Colloquium 2007 /

Delon, F.,Kohlenbach, U.,Maddy, Penelope,,Stephan, Frank.,.
6 图书 Logic Colloquium`81 (1981: France)：Proceedings of the herbrand symposium; logic colloquium`81
责任者 J. Stern,Logic Colloquium`81

出版信息 NHPC ,1982

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
J. Stern,Logic Colloquium`81.Logic Colloquium`81 (1981: France)：Proceedings of the herbrand symposium; logic colloquium`81.NHPC,1982.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic Colloquium`81 (1981: France)：Proceedings of the herbrand symposium; logic colloquium`81

J. Stern,Logic Colloquium`81.NHPC,1982.
7 图书 Logic Colloquium 88(1988 : Padova)：Proceedings of the colloquium
责任者 R. Ferro,Logic Colloquium 88

出版信息 North-Holland ,1989

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
R. Ferro,Logic Colloquium 88.Logic Colloquium 88(1988 : Padova)：Proceedings of the colloquium.North-Holland,1989.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic Colloquium 88(1988 : Padova)：Proceedings of the colloquium

R. Ferro,Logic Colloquium 88.North-Holland,1989.
8 图书 Logic Colloquium`78 (1978 : Mons.)：proceedings of the colloquium
责任者 Maurice Boffa,Logic Colloquium`78

出版信息 North-Holland ,1978

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Maurice Boffa,Logic Colloquium`78.Logic Colloquium`78 (1978 : Mons.)：proceedings of the colloquium.North-Holland,1978.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic Colloquium`78 (1978 : Mons.)：proceedings of the colloquium

Maurice Boffa,Logic Colloquium`78.North-Holland,1978.
9 图书 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.
10 图书 Logic Colloquium (1979 : University of Leeds, England)：Recursion theory: its generalisations and applications, procs.
责任者 F. R. Drake,S. S. Wainer,Logic Colloquium

出版信息 Cambridge Univ. Press ,1980

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
F. R. Drake,S. S. Wainer,Logic Colloquium.Logic Colloquium (1979 : University of Leeds, England)：Recursion theory: its generalisations and applications, procs..Cambridge Univ. Press,1980.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic Colloquium (1979 : University of Leeds, England)：Recursion theory: its generalisations and applications, procs.

F. R. Drake,S. S. Wainer,Logic Colloquium.Cambridge Univ. Press,1980.

通借成功!

预约成功!