内容推荐
《现代形式逻辑入门:中文、英文》由王寅著
目录
第一章经典形式逻辑简介
002第一节形式逻辑之初衷
011第二节工具论
018第三节四种判断之间的关系
第二章现代形式逻辑简介
026第一节简史
040第二节弗雷格的批判
049第三节数理逻辑的哲学意义
第三章谓词演算
056第一节从函数到谓词演算
058第二节个体词(个体常项、专指语)
061第三节量词
071第四节谓词常项与变项
074第五节谓词演算的公理和定理
075第六节小结
……
002第一节形式逻辑之初衷
011第二节工具论
018第三节四种判断之间的关系
第二章现代形式逻辑简介
026第一节简史
040第二节弗雷格的批判
049第三节数理逻辑的哲学意义
第三章谓词演算
056第一节从函数到谓词演算
058第二节个体词(个体常项、专指语)
061第三节量词
071第四节谓词常项与变项
074第五节谓词演算的公理和定理
075第六节小结
……
- 病区护理管理与护理质量控制考核
- 临床医师基本素质与能力
- 中国法学30年(1978-2008)
- 实用临床技能培训教程(供临床医学中医学口腔医学医学检验护理学口腔工艺技术专业用高等医学院校临床知识与实践技能指导教材)
- 消化系统药源性疾病
- 生理学实验教程(突出能力培养型实验教材)
- 美的形态学
- 身体意识形态(论汉语长篇1990-中的力比多实践及再现)
- 家庭心理辅导(初中卷)/家庭教育系列
- 吕仁和临床经验集(第1辑中医名家典藏版)
- 冯世纶经方临床带教实录(第1辑)/伤寒论坛丛书
- 肾移植并发症防治指南
- 中医伤科方药手册/中医方药手册丛书
- 中医妇科方药手册/中医方药手册丛书
- 走出吃喝的误区--走近科学饮食
- 中医男科方药手册/中医方药手册丛书
- 有效控制糖尿病
- 心外科速查/医师案头速查丛书
- 脂肪肝防治专家谈
- 统计学原理(普通高等教育十一五规划教材)
- 财务管理(普通高等教育十一五规划教材)
- 会计学(普通高等教育十一五规划教材)
- 财务管理教程
- 行为营销学
- 江北如此多娇(共2册)
- Atheros ar9565无线网卡驱动程序
- killer e2200网卡驱动程序
- comfast cf7201nd无线网卡驱动程序
- 惠普541无线网卡驱动
- 3com 3C905B网卡驱动程序 for win7
- lblink802.11n无线网卡驱动程序
- TP-LINK wn851n网卡驱动
- 三星r429无线网卡驱动 for win7版
- 西默m11无线网卡驱动程序
- 西默m360无线网卡驱动程序
- 涂鸦洋葱头对对碰
- 外来部队
- 夜间射击防守
- 躲避火柴人
- 秃鹰的天空?for?pad
- 银河攻击战
- 俄罗斯方块 iTetris
- 股票托管所
- 钢琴大师免费
- 会说话的青蛙王子
- 零容忍
- 青春训练班 青春不要臉
- 宁安如梦
- 异搜店 異搜店
- 气象厅的人们：社内恋爱残酷史篇
- 玲珑掌柜俏厨王
- 狂飙
- 你好神枪手
- 嫣语赋
- 冰球少年