全部
图书期刊
图书馆
- 图书馆(1)
资源类型
- 图书(1)
馆藏地址
书目库
- 中文图书(1)
出版社
- 科学出版社(1)
出版时间
- 2016.05(1)
-
符号逻辑:语法、语义和证明
索书号：O141/A195/2016
标准编码： 978-7-03-048039-2
出版信息：科学出版社 2016.05 北京
主题词： 数理逻辑 数学基础
中文图书
1 共有：1条记录
索书号：O141/A195/2016
标准编码： 978-7-03-048039-2
出版信息：科学出版社 2016.05 北京
主题词： 数理逻辑 数学基础
中文图书
1 共有：1条记录