检索条件： A course in mathematical logic ( 题名 )

检索结果共有8条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 A course in mathematical logic
责任者 Yu. I. Manin

出版信息 Springer ,1977

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Yu. I. Manin.A course in mathematical logic.Springer,1977.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

A course in mathematical logic

Yu. I. Manin.Springer,1977.
2 图书 A course in mathematical logic
责任者 J. L.]]M. Bell]]Machover

出版信息 North-Holland Pub. Co. ,1977

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
J. L.]]M. Bell]]Machover.A course in mathematical logic.North-Holland Pub. Co.,1977.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

A course in mathematical logic

J. L.]]M. Bell]]Machover.North-Holland Pub. Co.,1977.
3 图书数理逻辑教程
责任者贝尔,马霍维奇

出版信息世界图书出版公司北京公司 ,2015

ISBN 978-7-5100-8630-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
贝尔,马霍维奇.数理逻辑教程.世界图书出版公司北京公司,2015.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

数理逻辑教程

贝尔,马霍维奇.世界图书出版公司北京公司,2015.
4 图书数理逻辑：现代逻辑学讲义
责任者李小五

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

ISBN 7-306-02588-0

馆藏信息

图书信息

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

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

数理逻辑：现代逻辑学讲义

李小五.中山大学出版社,2005.
5 图书 Zariski geometries : geometry from the logician`s point of view /
责任者 Boris Zilber.

出版信息 Cambridge University Press, ,2010.

ISBN 9780521735605 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Boris Zilber..Zariski geometries : geometry from the logician`s point of view /.Cambridge University Press,,2010..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Zariski geometries : geometry from the logician`s point of view /

Boris Zilber..Cambridge University Press,,2010..
6 图书 Computational logic and human thinking : how to be artificially intelligent /
责任者 Robert Kowalski.

出版信息 Cambridge University Press, ,2011.

ISBN 978-0-5211-2336-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Robert Kowalski..Computational logic and human thinking : how to be artificially intelligent /.Cambridge University Press,,2011..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computational logic and human thinking : how to be artificially intelligent /

Robert Kowalski..Cambridge University Press,,2011..
7 图书 Mathematics : a minimal introduction /
责任者 Alexandru Buium, University of New Mexico, Albuquerque, USA.

出版信息 CRC Press, ,c2014.

ISBN 9781482216004 (pbk.) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Alexandru Buium, University of New Mexico, Albuquerque, USA..Mathematics : a minimal introduction /.CRC Press,,c2014..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Mathematics : a minimal introduction /

Alexandru Buium, University of New Mexico, Albuquerque, USA..CRC Press,,c2014..
8 图书 Flight mechanics modeling and analysis /
责任者 Singh, Jatinder,

出版信息 CRC Press, Taylor & Francis Group, ,[2023]

ISBN 9781032276090

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Singh, Jatinder,.Flight mechanics modeling and analysis /.CRC Press, Taylor & Francis Group,,[2023].
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Flight mechanics modeling and analysis /

Singh, Jatinder,.CRC Press, Taylor & Francis Group,,[2023].

通借成功!

预约成功!