确定
- [图书] 应用逻辑中的数学问题
- 作者：(英)D.M. 加贝，(俄)S.S. 贡恰罗夫，(美)M. 扎哈里扬谢夫编；陈晓华，刘张华等译
- 出版社：科学出版社
- 出版日期：2020
- ISBN：978-7-03-064635-4
- 内容简介：本书内容分上、下两篇，共13章。上篇内容涉及描述逻辑中的非标准推理、可证逻辑中的问题与逻辑动态中的开放问题、可计算性理论、逻辑学的发展、逻辑与认知科学、中世纪的阿拉伯语义、应用逻辑...
- 丛书名：应用逻辑与逻辑应用研究前沿译丛
- 所属馆：
浙江图书馆 杭州图书馆 临平区图书馆分馆 嘉兴市图书馆 秀洲区图书馆 温州市图书馆 瑞安市图书馆 乐清市图书馆 洞头区图书馆 仙居县图书馆 更多 +
- 获取途径：
- 年份：
- 至
通用字段：
T=标题（书名、标题），A=作者（责任者），K=关键词，S=文摘（摘要、视频简介）， O=作者单位（作者单位、学位授予单位），Su=主题（标题、关键词、摘要），Z=全部字段
Y=年（出版发行年、学位年度、会议召开年、专利申请年、标准发布年），Clc=中图分类号
文献类型：
BK=图书，JN=期刊，DT=学位，CP=会议，PT=专利，ST=标准，VI=音视频，NP=报纸，TR=科技成果
非通用字段(需要加上文献标识才能检索)：
图书：BKs=丛书名；期刊：JNj=刊名；学位：F=指导老师，DTn=学位，Tf=英文标题，DTa=英文文摘；会议：CPn=会议名称；报纸：NPn=报纸名称；专利：PTt=专利类型，F=专利申请人；标准：STd=起草单位
检索规则说明：
（1）所有符号和英文字母，都必须使用英文半角字符；
（2）"" 代表精确匹配，''代表模糊匹配；
（3）同一字段运算规则：* 代表并且，| 代表或者， - 代表不包含；
（4）不同字段间逻辑检索规则：AND（与）、OR（或）、NOT（非）。关系符号间空一个字节并且只能用大写字母；
（5）逻辑运算优先级：不同字段间：NOT > AND > OR；同一字段间：- > * > |，若要改变组合的顺序，请使用英文半角括号“()”括起
例一：检索2000至2016年（含边界）关键词不包含断层并且作者为钱学森，或者清华大学杨振宁或是周培源发表的期刊文章：
JN((A=杨振宁|周培源 AND O=清华大学) OR A=钱学森 AND 2000<Y<2016 NOT K=断层)
例二：检索期刊作者单位属于跟“海”或者“海洋”有关的一些相关机构，且主题是海洋，出版年范围2000至2016年（含边界）：
JN(O=(海|海洋)*(研究所|中心|学院|分局|大学|研究室|实验室|系)) AND Su=海洋 AND 2000<Y<2016
（6） 检索词包含空格或逻辑符号，需要加模糊匹配符号''或者精确匹配符号""，如K="cryptography"|'cipher code'|"Multimedia security"