检索条件： Logic ( 题名 )

检索结果共有974条

匹配度排行

出版/发布时间

在馆记录

检索筛选

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 图书 Temporal logic and temporal logic programming /
责任者 Duan Zhenhua.

出版信息 Science Press, ,2005.

ISBN 7-03-016651-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Duan Zhenhua..Temporal logic and temporal logic programming /.Science Press,,2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Temporal logic and temporal logic programming /

Duan Zhenhua..Science Press,,2005..
6 图书 Mathematical logic /
责任者 Hodges, Wilfrid.

出版信息 Oxford University Press, ,2007.

ISBN 9780199215621 (pbk. : alk. paper) :

馆藏信息

图书信息

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

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

Mathematical logic /

Hodges, Wilfrid..Oxford University Press,,2007..
7 图书 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.
8 图书 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.
9 图书 Managerial logic /
责任者 Arrow, Kenneth Joseph,

出版信息 ISTE ; ,2011.

ISBN 9781848212978 (hardback) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Arrow, Kenneth Joseph,.Managerial logic /.ISTE ;,2011..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Managerial logic /

Arrow, Kenneth Joseph,.ISTE ;,2011..
10 图书 Algorithmic logic
责任者 G. Mirkowska

出版信息 D. Reidel ,1987

ISBN

馆藏信息

图书信息

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

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

Algorithmic logic

G. Mirkowska.D. Reidel,1987.

通借成功!

预约成功!