豆瓣图书标签: 一阶逻辑

综合排序  /  按出版日期排序  /  按评价排序
  • 符号逻辑讲义

    徐明 / 武汉大学出版社 / 2008-9 / 58.00元
    9.2 (100人评价)

    这份讲义是当代逻辑入门课程的教材,内容大约是一阶逻辑的前部,可作为教科书或参考书,用于哲学、数学、计算机科学和语言学等院系的当代逻辑课程。希望了解一点当代逻...

  • 数理逻辑基础 : 一阶逻辑与一阶理论

    陈慕泽、余俊伟 / 人民大学 / 2003-9 / 19.00元
    7.3 (26人评价)

    本书介绍数理逻辑的基础部分。绪论除介绍逻辑初步概念外还讲述了有关集合论和递归论的初步知识。正文前四章的内容属一阶逻辑,其中前两章是以非形式化的方式介绍命题逻...

  • 一阶逻辑和一阶理论 : 现代逻辑丛书

    叶峰编著 / 中国社会科学出版社 / 1994.1
    8.4 (16人评价)
  • Mathematical Logic

    H.-D. Ebbinghaus、J. Flum、W. Thomas / A. S. Ferebee / Springer / 1985-7-15 / GBP 19.99
    (少于10人评价)
  • 你一定爱读的极简欧洲史 : 为什么欧洲对现代文明的影响这么深

    约翰·赫斯特(John Hirst) / 席玉苹 / 广西师范大学出版社 / 2011-11-25 / 25.00元
    8.2 (36483人评价)

    “欧洲,为什么老是抢第一?”澳大利亚知名历史学家约翰•赫斯特在本书中的一场引人入胜的探索,为我们梳理出欧洲文明所以能改变全世界的各种特质。 作者从三大元素:...

  • 模型论基础

    王世强 / 科学出版社 / 1987-8-1 / 32.0
    (少于10人评价)

    本书介绍模型论的基础知识。主要内容有:紧致性定理,省略型定理,内播定理,完全理论与模型完全理论,初等键,越积,模型论力迫法,他和模型等.并附有模型论方法对经...

  • A Course In Mathematical Logic

    John Bell、Moshe Machover / North Holland / 1977-01-15 / USD 166.00
    (少于10人评价)

    A comprehensive one-year graduate (or advanced undergraduate) course in mathem...

  • 模型论导引

    沈复兴 / 北京师范大学出版社 / 1995-10-1 / 10.0
    (少于10人评价)
  • Mathematical Logic

    H.-D. Ebbinghaus、J. Flum、W. Thomas / Springer / 1996-11-15 / USD 74.95
    9.0 (21人评价)

    This introduction to first-order logic clearly works out the role of first-ord...

  • The Classical Decision Problem

    Borger, Egon/ Gradel, Erich/ Gurevich, Yuri / Springer Verlag / 1038.00元
    (目前无人评价)
  • 逻辑演算 : 现代逻辑丛书

    刘壮虎 / 中国社会科学出版社 / 1993年 / 9.00
    (10人评价)
  • 第七天

    余华 / 新星出版社 / 2013-6 / 29.50元
    6.8 (42821人评价)

    “浓雾弥漫之时,我走出了出租屋,在空虚混沌的城市里孑孓而行。我要去的地方名叫殡仪馆,这是它现在的名字,它过去的名字叫火葬场。我得到一个通知,让我早晨九点之前...


相关的标签  · · · · · ·



> 浏览全部图书标签