检索条件： Logic ( 题名 )

检索结果共有967条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Logical physics
责任者 A. A. Zinov`ev

出版信息 D.Reidel Pub. ,1983

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
A. A. Zinov`ev.Logical physics.D.Reidel Pub.,1983.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logical physics

A. A. Zinov`ev.D.Reidel Pub.,1983.
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 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.,.
5 图书 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.
6 图书 Logic for mathematicians
责任者 A. G. Hamilton

出版信息 The Univ. Pr. ,1978

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
A. G. Hamilton.Logic for mathematicians.The Univ. Pr.,1978.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic for mathematicians

A. G. Hamilton.The Univ. Pr.,1978.
7 图书 Logic Symposion(1980 : Greece)：Patras logic symposion, proceedings of the Logic Symposion
责任者 G. Metakides,Logic Symposion

出版信息 NHPC ,1982

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
G. Metakides,Logic Symposion.Logic Symposion(1980 : Greece)：Patras logic symposion, proceedings of the Logic Symposion.NHPC,1982.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic Symposion(1980 : Greece)：Patras logic symposion, proceedings of the Logic Symposion

G. Metakides,Logic Symposion.NHPC,1982.
8 图书 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.
9 图书 Logical dynamics of information /
责任者 Johan van Benthem.

出版信息 Cambridge University Press, ,2014.

ISBN 978-1-107-41717-5

馆藏信息

图书信息

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

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

Logical dynamics of information /

Johan van Benthem..Cambridge University Press,,2014..
10 图书 Logic programming and databases
责任者 S. Ceri,G. Gottlob,L. Tanca

出版信息 Springer-Verlag ,1990

ISBN

馆藏信息

图书信息

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

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

Logic programming and databases

S. Ceri,G. Gottlob,L. Tanca.Springer-Verlag,1990.

通借成功!

预约成功!