_统一检索系统

[图书] 胡世华文集
作者：胡世华著
出版社：科学出版社
出版日期：2008
ISBN：978-7-03-021391-4
内容简介：本书内容主要有三个领域：逻辑演算、递归函数论、科学哲学，共收入58篇文章，文集编进了多篇多值逻辑、递归函数论的文章，还有论述数理逻辑对计算机发展的重要作用以及这两学科间的关系的文章...
所属馆：
杭州图书馆嘉兴市图书馆宁波图书馆
获取途径：快递借书

[图书] 数理逻辑之美
作者：王路江主编
出版社：北京语言大学出版社
出版日期：2012
ISBN：978-7-5619-3340-4
内容简介：本书“纪念文章”部分由北京语言大学校长崔希亮教授、北京语言大学外国语学院院长宁一中等赐稿，回忆了方立的生平，“学术论文”部分收录方立先生遗作及语言学家冯胜利、吴道平等的学术论文。
所属馆：
台州市路桥区图书馆
获取途径：快递借书

标题	类型	作者	出处	年/期	所属馆
胡世华文集	图书	胡世华著	科学出版社	2008年	杭州图书馆嘉兴市图书馆宁波图书馆
面向计算机科学的数理逻辑	图书	陆钟万著	科学出版社	2002年	浙江图书馆杭州图书馆宁波图书馆
数理逻辑之美	图书	王路江主编	北京语言大学出版社	2012年	台州市路桥区图书馆
逻辑推理新趣题	图书	(美)乔治 J.萨默斯(George J.Summers)著；林自新译	上海科技教育出版社	1999年	浙江图书馆嘉兴市图书馆海宁市图书馆平湖市图书馆嘉善县图书馆温州市图书馆瑞安市图书馆苍南县图书馆衢州市图书馆江山市图书馆湖州市图书馆绍兴图书馆慈溪市图书馆象山县图书馆宁波市镇海区图书馆台州市椒江区图书馆
形式逻辑与数理逻辑比较研究	图书	杜岫石主编；王政挺, 谷振诣撰写	吉林人民出版社	1987年	浙江图书馆嘉兴市图书馆

加载保存列表...