检索条件： Mathematical introduction to logic ( 任意词 )

检索结果共有4472条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书数理逻辑
责任者 Herbert B. Enderton,,Herbert B. 恩德腾

出版信息人民邮电出版社 ,2007

ISBN 978-7-115-14311-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Herbert B. Enderton,,Herbert B. 恩德腾.数理逻辑.人民邮电出版社,2007.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

数理逻辑

Herbert B. Enderton,,Herbert B. 恩德腾.人民邮电出版社,2007.
2 图书 A mathematical introduction to logic
责任者 H. B. Enderton

出版信息 Academic Pr. ,1972

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
H. B. Enderton.A mathematical introduction to logic.Academic Pr.,1972.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

A mathematical introduction to logic

H. B. Enderton.Academic Pr.,1972.
3 图书 A mathematical introduction to logic =: 数理逻辑 /
责任者

出版信息

ISBN 00110670

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.A mathematical introduction to logic =: 数理逻辑 /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

A mathematical introduction to logic =: 数理逻辑 /

.,.
4 图书 An introduction to paraconsistent logics /
责任者

出版信息

ISBN 3-631-53413-2

馆藏信息

图书信息

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

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

An introduction to paraconsistent logics /

.,.
5 图书 An introduction to non-classical logic : from if to is /
责任者 Graham Priest.

出版信息 Cambridge University Press, ,c2008.

ISBN 978-0-521-67026-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Graham Priest..An introduction to non-classical logic : from if to is /.Cambridge University Press,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

An introduction to non-classical logic : from if to is /

Graham Priest..Cambridge University Press,,c2008..
6 图书 An introduction to Godel's theorems /
责任者 Peter Smith.

出版信息 Cambridge University Press, ,2013.

ISBN 978-1-107-60675-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Peter Smith..An introduction to Godel's theorems /.Cambridge University Press,,2013..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

An introduction to Godel's theorems /

Peter Smith..Cambridge University Press,,2013..
7 图书 INTRODUCTION TO BOOLEAN ALGEBRA AND LOGIC DESIGN
责任者 HOERNES

出版信息

ISBN 07-029183-7

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
HOERNES.INTRODUCTION TO BOOLEAN ALGEBRA AND LOGIC DESIGN.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

INTRODUCTION TO BOOLEAN ALGEBRA AND LOGIC DESIGN

HOERNES.,.
8 图书 COBOL：An introduction to structured logic and modular program design
责任者 W. S. Davis and R. H. Fisher

出版信息 [s. n.] ,1979

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
W. S. Davis and R. H. Fisher.COBOL：An introduction to structured logic and modular program design.[s. n.],1979.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

COBOL：An introduction to structured logic and modular program design

W. S. Davis and R. H. Fisher.[s. n.],1979.
9 图书 Introduction to type-2 fuzzy logic control : theory and applications /
责任者

出版信息

ISBN ^^2014000084

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Introduction to type-2 fuzzy logic control : theory and applications /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Introduction to type-2 fuzzy logic control : theory and applications /

.,.
10 图书 Undergraduate topology : a working textbook /
责任者 Aisling McCluskey (Senior Lecturer in Mathematics, National University of Ireland, Galway), Brian McMaster (Honorary Senior Lecturer, Queen's University Belfast).

出版信息 Oxford University Press, ,2014.

ISBN 9780198702344 :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Aisling McCluskey (Senior Lecturer in Mathematics, National University of Ireland, Galway), Brian McMaster (Honorary Senior Lecturer, Queen's University Belfast)..Undergraduate topology : a working textbook /.Oxford University Press,,2014..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Undergraduate topology : a working textbook /

Aisling McCluskey (Senior Lecturer in Mathematics, National University of Ireland, Galway), Brian McMaster (Honorary Senior Lecturer, Queen's University Belfast)..Oxford University Press,,2014..

通借成功!

预约成功!