检索条件： Logic Colloquium ( 著者 )

检索结果共有11条

匹配度排行

出版/发布时间

在馆记录

检索筛选

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`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.
3 图书 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.
4 图书 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..
5 图书 Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 /
责任者 Dimitracopoulos, Costas.

出版信息 Cambridge University Press, ,2008.

ISBN 9780521884259 (hardback) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Dimitracopoulos, Costas..Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 /.Cambridge University Press,,2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 /

Dimitracopoulos, Costas..Cambridge University Press,,2008..
6 图书 Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004 /
责任者 Andretta, Alessandro,,Kearnes, Keith.,Zambella, Domenico.

出版信息 Association for Symbolic Logic ; ,2008.

ISBN 9780521884242 :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Andretta, Alessandro,,Kearnes, Keith.,Zambella, Domenico..Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004 /.Association for Symbolic Logic ;,2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004 /

Andretta, Alessandro,,Kearnes, Keith.,Zambella, Domenico..Association for Symbolic Logic ;,2008..
7 图书 Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
责任者 Cooper, S. B.,Truss, J. K.

出版信息 Cambridge University Press, ,1999.

ISBN 978-0-5216-3549-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cooper, S. B.,Truss, J. K..Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /.Cambridge University Press,,1999..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /

Cooper, S. B.,Truss, J. K..Cambridge University Press,,1999..
8 图书 Logic Colloquium 88(1988 : Padova)：Proceedings of the colloquium
责任者 R. Ferro

出版信息 North-Holland ,1989

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
R. Ferro.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.North-Holland,1989.
9 图书 Logic Colloquium`87(1987 : Spain)
责任者

出版信息 NHPC ,1989

ISBN

馆藏信息

图书信息

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

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

Logic Colloquium`87(1987 : Spain)

.NHPC,1989.
10 图书 Logic Colloquium`81 (1981: France)：Proceedings of the herbrand symposium; logic colloquium`81
责任者 ed. by J. Stern

出版信息 NHPC ,1982

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
ed. by J. Stern.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

ed. by J. Stern.NHPC,1982.

通借成功!

预约成功!