简单检索 多字段检索 组合检索 检索结果

—塔尔斯基著

索书号：O122/00005

出版信息：科学出版社  1959.2  北京

—(波兰) 塔尔斯基著

索书号：O141/00056

标准编码：978-7-100-06452-1

出版信息：商务印书馆  2009.7  北京

主题词： 数理逻辑演绎推理

—(波兰) 塔尔斯基著

索书号：O141/00056

标准编码：978-7-100-06452-1

出版信息：商务印书馆  2009.7  北京

主题词： 数理逻辑演绎推理

—(波兰) 塔尔斯基著

索书号：O141/00056

标准编码：978-7-100-13639-6

出版信息：商务印书馆  2017.8  北京

主题词： 数学逻辑演绎推理

—(波)塔尔斯基著

索书号：O141/00060

标准编码：978-7-100-00520-3

出版信息：商务印书馆  1963  北京

主题词： 数理逻辑演绎推理

—(英) 丹尼尔·塔塔尔斯基著

索书号：N49/00465

标准编码：978-7-5739-0646-5

出版信息：浙江科学技术出版社  2023.07  杭州

—(英)丹尼尔·塔塔尔斯基著

索书号：TP274/01363/YD

标准编码：978-7-121-43431-0

出版信息：电子工业出版社  2022.05  北京