逻辑与演绎科学方法论导论

收藏
  • 【作者】(波)塔尔斯基著;周礼全,吴允曾晏成书
  • 【关键词】数理逻辑 理论 演绎推理 方法论 概论
  • 【出版社】商务印书馆
  • 【出版日期】2017
  • 【ISBN】978-7-100-13977-9
  • 【中图分类号】 O141/B812.23
  • 【内容简介】本书是一本数理逻辑的入门书,全书共分逻辑的元素,演绎方法、逻辑和方法论在构造数学理论中的应用两部分,共十章,具体包括:论变项的用法、论语句演算、类的理论、论演绎方法、关于所构造的理论的方法论的讨论等。全部展开
  • 【页码】259页
  • 【丛书名】汉译世界学术名著丛书
  • 【文献类型】图书
  • 【所属馆】

    杭州图书馆 临安图书馆 海宁市图书馆

  • 【获取途径】
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。