检索条件： Modality (Logic) ( 主题词 )

检索结果共有4条

匹配度排行

出版/发布时间

在馆记录

检索筛选

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 图书 Interpolation and definability : modal and intuitionistic logics /
责任者 Maksimova, L. L.

出版信息 Clarendon Press, ,2005.

ISBN 9780198511748 (hbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Maksimova, L. L..Interpolation and definability : modal and intuitionistic logics /.Clarendon Press,,2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Interpolation and definability : modal and intuitionistic logics /

Maksimova, L. L..Clarendon Press,,2005..
4 图书 Logic for concurrency and synchronisation /
责任者 Queiroz, Ruy J. G. B. de.

出版信息 Kluwer Academic Publishers, ,c2003.

ISBN 1-4020-1270-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Queiroz, Ruy J. G. B. de..Logic for concurrency and synchronisation /.Kluwer Academic Publishers,,c2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic for concurrency and synchronisation /

Queiroz, Ruy J. G. B. de..Kluwer Academic Publishers,,c2003..

通借成功!

预约成功!