检索条件： Modal logic / ( 题名 )

检索结果共有1160条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Modal logic /
责任者 Rijke, Maarten de.,Venema, Yde,

出版信息 Cambridge University Press, ,c2001.

ISBN 0-521-52714-7

馆藏信息

图书信息

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

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

Modal logic /

Rijke, Maarten de.,Venema, Yde,.Cambridge University Press,,c2001..
2 图书 The unprovability of consistency : an essay in modal logic /
责任者 George Boolos.

出版信息 Cambridge University Press, ,c1979.

ISBN 9780521092975

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
George Boolos..The unprovability of consistency : an essay in modal logic /.Cambridge University Press,,c1979..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

The unprovability of consistency : an essay in modal logic /

George Boolos..Cambridge University Press,,c1979..
3 图书模态逻辑：现代逻辑学讲义
责任者李小五

出版信息中山大学出版社 ,2005

ISBN 7-306-02588-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
李小五.模态逻辑：现代逻辑学讲义.中山大学出版社,2005.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

模态逻辑：现代逻辑学讲义

李小五.中山大学出版社,2005.
4 图书必然、蕴涵、世界与关系：模态逻辑的历史和基本理论探究：research on history and basic theory of modal logic
责任者周祯祥

出版信息北京师范大学出版社 ,2017

ISBN 978-7-303-22522-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
周祯祥.必然、蕴涵、世界与关系：模态逻辑的历史和基本理论探究：research on history and basic theory of modal logic.北京师范大学出版社,2017.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

必然、蕴涵、世界与关系：模态逻辑的历史和基本理论探究：research on history and basic theory of modal logic

周祯祥.北京师范大学出版社,2017.
5 图书 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.
6 图书 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.
7 图书 International Conference on Logic Programming(8th ; 1991 : Paris)：Logic Programming
责任者 International Conference on Logic Programming

出版信息 MIT ,1991

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Conference on Logic Programming.International Conference on Logic Programming(8th ; 1991 : Paris)：Logic Programming.MIT,1991.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

International Conference on Logic Programming(8th ; 1991 : Paris)：Logic Programming

International Conference on Logic Programming.MIT,1991.
8 图书 Summer School and Confernce on Mathematic Logic(1988 : Chalka)：Mathematical logic
责任者 Summer School and Confernce on Mathematic Logic

出版信息 Plenum Pr. ,1990

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Summer School and Confernce on Mathematic Logic.Summer School and Confernce on Mathematic Logic(1988 : Chalka)：Mathematical logic.Plenum Pr.,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Summer School and Confernce on Mathematic Logic(1988 : Chalka)：Mathematical logic

Summer School and Confernce on Mathematic Logic.Plenum Pr.,1990.
9 图书 Workshop on Logic and Computation (1987: Carnegie Mellon University)：Logic and computation
责任者 Worshop on Logic and Computation

出版信息 AMS ,1990

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Worshop on Logic and Computation.Workshop on Logic and Computation (1987: Carnegie Mellon University)：Logic and computation.AMS,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Workshop on Logic and Computation (1987: Carnegie Mellon University)：Logic and computation

Worshop on Logic and Computation.AMS,1990.
10 图书 Symposium on Computational Logic(1990 : Brussels)：Computational logic : symposium proceedings, Brussels, 1990
责任者 J. W. Lloyd,Symtpsium on Computational Logic

出版信息 Springer-Verlag ,1990

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
J. W. Lloyd,Symtpsium on Computational Logic.Symposium on Computational Logic(1990 : Brussels)：Computational logic : symposium proceedings, Brussels, 1990.Springer-Verlag,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Symposium on Computational Logic(1990 : Brussels)：Computational logic : symposium proceedings, Brussels, 1990

J. W. Lloyd,Symtpsium on Computational Logic.Springer-Verlag,1990.

通借成功!

预约成功!